init
added missing prototypes to header
Bindings for dddmp
added cuddReadSize
remove redundant length argument from int comparison functions
add cuddBddInterval
fix bug
function to turn ddnodes into unique ints
remove debugging printfs
added cuddBddImp
add sanity check to cuddInitOrder
incorporate suggestions from hlint
added cuddBddPickOneMinterm
cuddBddPickOneMinterm returns Maybe type and make ddNodeToInt return an Integral
initial bindings to cudd variable reordering
more reordering bindings
garbage collection bindings
GC and reordering hooks, fixes
cuddPrintInfo
NFData instance