solvers → cprover Relation

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