smt2 → sat Relation

File in src/solvers/smt2	Includes file in src/solvers/sat
smt2_solver.cpp	satcheck.h