sat → cprover Relation

File in src/solvers/sat	Includes file in src/cprover
satcheck_minisat.cpp	solver.h