equation → solvers Relation

File in src/goto-symex/equation	Includes file in src/solvers
symex_target_equation.cpp	smt / smt_conv.h