qbf → sat Relation

File in src/solvers/qbf	Includes file in src/solvers/sat
qdimacs_cnf.h	dimacs_cnf.h