sat → smt Relation

File in src/solvers/sat	Includes file in src/solvers/smt
bitblast_conv.h	smt_solver.h
cnf_conv.h	smt_conv.h