cudd  3.0.0
The University of Colorado Decision Diagram Package

nanotrav → util Relation

File in nanotravIncludes file in util
bnet.hutil.h