cprover

strings → refinement Relation

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