cprover

strings → refinement Relation

File in solvers/stringsIncludes file in solvers/refinement
string_refinement.hbv_refinement.h