parseoptions → solvers Relation

File in src/esbmc/parseoptions	Includes file in src/solvers
bmc_strategy.cpp	smt / smt_result.h
bmc_strategy.cpp	smtlib / smtlib_conv.h
bmc_strategy.cpp	solve.h
command_line_options.cpp	smt / smt_result.h
command_line_options.cpp	smtlib / smtlib_conv.h
command_line_options.cpp	solve.h
driver.cpp	smt / simplification_equivalence.h
driver.cpp	smt / smt_result.h
driver.cpp	smtlib / smtlib_conv.h
driver.cpp	solve.h
goto_program.cpp	smt / smt_result.h
goto_program.cpp	smtlib / smtlib_conv.h
goto_program.cpp	solve.h
k_induction.cpp	smt / smt_result.h
k_induction.cpp	smtlib / smtlib_conv.h
k_induction.cpp	solve.h
process_goto_program.cpp	smt / smt_result.h
process_goto_program.cpp	smtlib / smtlib_conv.h
process_goto_program.cpp	solve.h