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