cprover → solvers Relation

File in cprover	Includes file in solvers
axioms.cpp	decision_procedure.h
bv_pointers_wide.h	flattening / boolbv.h
bv_pointers_wide.h	flattening / pointer_logic.h
counterexample_found.cpp	sat / satcheck.h
inductiveness.cpp	sat / satcheck.h
state_encoding_targets.h	smt2 / smt2_conv.h