cprover

strings → sat Relation

File in solvers/stringsIncludes file in solvers/sat
string_constraint.cppsatcheck.h
string_refinement.cppsatcheck.h