This is a fork from Termite2/haskell_cudd and adapted to work with more recent Haskell environments.
Haskell bindings to the CUDD binary decision diagram library.
http://vlsi.colorado.edu/~fabio/CUDD/
More recent version here: https://github.com/adamwalker/haskell_cudd