cprover

prop → miniBDD Relation

File in solvers/propIncludes file in solvers/miniBDD
bdd_expr.hminiBDD.h