QBFL-JW

Submitter: Florian Letombe
Description: Devised by Florian Letombe, it is a search-based solver written in C, packed with a number of features as trivial-truth, trivial-falsity, Horn and reverse-Horn formulas detection. QBFL is implemented on top of Limmat. QBFL-JW uses an extension of the Jeroslow-Wang heuristic for SAT.
Results: