sat → prop Relation

File in src/solvers/sat	Includes file in src/solvers/prop
cnf.h	prop.h
resolution_proof.h	literal.h