CUDD: CU Decision Diagram Package (2001)

by F Somenzi