cprover

bdd → miniBDD Relation

File in solvers/bddIncludes file in solvers/bdd/miniBDD
bdd_miniBDD.hminiBDD.h