Submitter: Rowley
Description: Devised by Andrew G.D. Rowley, it is a search-based complete QBF solver that uses zChaff as a sub-procedure to determine the (un)satsfiability of the QBF as search proceeds. zChaff is allowed to learn across runs and the QBF solver also implements conflict and solution learning. QChaffLearn uses watched literals and watched clauses.