cprover

bdd → util Relation

File in solvers/bddIncludes file in util
bdd_cudd.hnarrow.h
miniBDD / miniBDD.cppinvariant.h