Ocaml-cudd is a (minimal) OCaml interface to the CUDD BDD library. It provides an interface to the most important BDD functions and was designed to be used in the Praline 2.0.

Download the archive : ocaml-cudd.tar.gz.

Extract it.

Run the script install_cudd.sh to install the CUDD library.

Run make.

API

E-mail: romain.brenguier [at] ulb.ac.be