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: | |||