cprover

qbf → prop Relation

File in solvers/qbfIncludes file in solvers/prop
qbf_bdd_core.cppliteral.h