README.md

Interface to CUDD in the Style of Ersatz

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.