strings → sat Relation

File in src/solvers/strings	Includes file in src/solvers/sat
string_constraint.cpp	satcheck.h
string_refinement.cpp	satcheck.h