cprover

prop → langapi Relation

File in solvers/propIncludes file in langapi
bdd_expr.cpplanguage_util.h