cprover → sat Relation

File in src/cprover	Includes file in src/solvers/sat
counterexample_found.cpp	satcheck.h
inductiveness.cpp	satcheck.h