cbmc → solvers Relation

File in src/cbmc	Includes file in src/solvers
cbmc_parse_options.h	strings / string_refinement.h