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