Copy/Fork of CU Decision Diagram package from http://vlsi.colorado.edu/~fabio/CUDD/