flattening → sat Relation

File in src/solvers/flattening	Includes file in src/solvers/sat
bv_dimacs.cpp	dimacs_cnf.h
bv_minimize.h	satcheck.h