goto-instrument → solvers Relation

File in src/goto-instrument	Includes file in src/solvers
horn_encoding.cpp	smt2 / smt2_conv.h
accelerate / scratch_program.cpp	decision_procedure.h
accelerate / scratch_program.h	flattening / bv_pointers.h
accelerate / scratch_program.h	sat / satcheck.h
accelerate / scratch_program.h	smt2 / smt2_dec.h