minisat → smt Relation

File in src/solvers/minisat	Includes file in src/solvers/smt
minisat_conv.h	array_conv.h
minisat_conv.h	smt_solver.h