GitHub repository: smolkaj/cudd
Description: CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/