Haskell bindings to CUDD, the CU Decision Diagram Package