Up

Formula

About

Formula is an OCaml library dedicated to the efficient manipulation of formulas using BDDs.

It is based on the CUDD library. It adds to it symbolic names, bounded integer and enumerated datatypes, and numerical expressions (which can be later used as conditions in BDDs).

It requires the CUDD library and the CUDDAUX/MLCuddIDL binding. It also uses modules of the Camllib library.

License

Formula is released under the LGPL license.

Download

Documentation