cprover

flattening → sat Relation

File in solvers/flatteningIncludes file in solvers/sat
bv_dimacs.cppdimacs_cnf.h
bv_minimize.hsatcheck.h