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