cprover

miniBDD → util Relation

File in solvers/miniBDDIncludes file in util
miniBDD.cppinvariant.h