goto-synthesizer → solvers Relation

File in src/goto-synthesizer	Includes file in src/solvers
cegis_verifier.cpp	prop / prop.h