engine → solvers Relation

File in src/goto-symex/engine	Includes file in src/solvers
symex_goto.cpp	smtlib / smtlib_conv.h