QbflHR
| Submitter: | Daniel Le Berre | ||
| Description: | Devised by Florian Letombe, it is a search-based solver, with a number of features such as trivial-truth, trivial-falsity, Horn and renamable Horn formulas detection. | ||
| Results: | |||
| Submitter: | Daniel Le Berre | ||
| Description: | Devised by Florian Letombe, it is a search-based solver, with a number of features such as trivial-truth, trivial-falsity, Horn and renamable Horn formulas detection. | ||
| Results: | |||