CUDD is a state-of-the-art C library for Binary Decision Diagrams (BDDs).
A low-level Haskell interface is provided by cudd.
The present library adds a higher level interface in the style of the ersatz SAT encoder.
See the examples directory for usage.