cprover

sat → prop Relation

File in solvers/satIncludes file in solvers/prop
cnf.hprop.h
resolution_proof.hliteral.h