Welcome | User's manual | Features | Downloads | Experimental Results | Back on my researches |
Usage : qbfl.0.2 [<option> ...] [ <qdimacs_file.gz> ]
where <option> is one of the following options
-c | --contact | displays the adress where to contact the developper |
-h | --help | displays this short help about qbfl |
-p | --pretty-print | clear the instance and displays it |
-t<sec> | --time-out=<sec> | to specify a timeout |
-v | --version | displays the version and out |
-H<heur> | --<HEUR> | to specify the choosing variable heuristics : |
- heur = 0 or HEUR = HEUR_PREMIER | |
- heur = 1 or HEUR = HEUR_RANDOM | |
- heur = 2 ou HEUR = HEUR_JW | |
- heur = 3 or HEUR = HEUR_LEXICO | |
- heur = 4 or HEUR = HEUR_QBFL | |
-vt<freq> | --vrai-trivial=<freq> | to specify the trivial truth testing frequency |
-ft<freq> | --faux-trivial=<freq> | to specify the trivial falsity testing frequency on Σ |
qbfl is developped by Florian Letombe