I’m pleased to write this first release announcement for the mlcuddidl package.
These bindings to the CUDD BDD library were initially written by Bertrand Jeannet and have been around as an OPAM package for quite some time now. The source code is now hosted on framagit.
This release of version 3.0.7 mostly ports the package to OCaml versions ≥ 4.10.