goto-symex → solvers Relation

File in src/goto-symex	Includes file in src/solvers
engine / symex_goto.cpp	smtlib / smtlib_conv.h
equation / symex_target_equation.cpp	smt / smt_conv.h
testgen / ctest.cpp	smt / smt_conv.h
testgen / pytest.cpp	smt / smt_conv.h
trace / build_goto_trace.cpp	smt / smt_conv.h
witness / witnesses.cpp	smt / smt_conv.h