-
Erwan Jahier authored
Parent-Version: 0.38 Version-Log: Use the new cudd interface based on camlidl (mlcuddidl). Now, bdds do not leaks anymore. Remove debugging stuff that was used to track that problem. Project-Description: Lurette
4579cc26
Parent-Version: 0.38 Version-Log: Use the new cudd interface based on camlidl (mlcuddidl). Now, bdds do not leaks anymore. Remove debugging stuff that was used to track that problem. Project-Description: Lurette