qbf → prop Relation

File in src/solvers/qbf	Includes file in src/solvers/prop
qbf_bdd_core.cpp	literal.h