cudd  3.0.0
The University of Colorado Decision Diagram Package

mtr → util Relation

File in mtrIncludes file in util
mtrBasic.cutil.h
mtrGroup.cutil.h
testmtr.cutil.h