cudd.ml

Minimal C to Ocaml bindings to the CUDD BDD library https://github.com/ivmai/cudd