minisat → sat Relation

File in src/solvers/minisat	Includes file in src/solvers/sat
minisat_conv.h	bitblast_conv.h
minisat_conv.h	cnf_conv.h