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.
Formula is released under the LGPL license.