cudd  3.0.0
The University of Colorado Decision Diagram Package

cplusplus → cudd Relation

File in cplusplusIncludes file in cudd
cuddObj.cccuddInt.h
cuddObj.hhcudd.h