cprover

flattening → sat Relation

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