cprover

prop → bdd Relation

File in solvers/propIncludes file in solvers/bdd
bdd_expr.hbdd.h