goto-checker → solvers Relation

File in src/goto-checker	Includes file in src/solvers
bmc_util.cpp	decision_procedure.h
counterexample_beautification.cpp	prop / prop_minimize.h
counterexample_beautification.h	flattening / bv_minimize.h
goto_symex_fault_localizer.cpp	stack_decision_procedure.h
goto_symex_property_decider.cpp	prop / prop.h
solver_factory.cpp	flattening / bv_dimacs.h
solver_factory.cpp	refinement / bv_refinement.h
solver_factory.cpp	sat / dimacs_cnf.h
solver_factory.cpp	sat / external_sat.h
solver_factory.cpp	prop / prop.h
solver_factory.cpp	sat / satcheck.h
solver_factory.cpp	smt2_incremental / smt2_incremental_decision_procedure.h
solver_factory.cpp	smt2_incremental / smt_solver_process.h
solver_factory.cpp	prop / solver_resource_limits.h
solver_factory.cpp	stack_decision_procedure.h
solver_factory.cpp	strings / string_refinement.h
solver_factory.h	prop / prop.h
solver_factory.h	smt2 / smt2_dec.h