Haskell-CUDD Haskell bindings to the CUDD binary decision diagram library. http://vlsi.colorado.edu/~fabio/CUDD/