Manuel de l'utilisateur

Usage : qbfl.0.2 [<option> ...] [ <qdimacs_file.gz> ]

où <option> est l'une ou plusieur des options suivantes

-c | --contact	affiche l'adresse où contacter le développeur
-h | --help	affiche cette aide succinte de qbfl
-p | --pretty-print	purifie l'instance et l'affiche
-t<sec> | --time-out=<sec>	specifier le temps limite
-v | --version	affiche la version et sort
-H<heur> | --<HEUR>	specifier l'heuristique de choix de variable :
	- heur = 0 ou HEUR = HEUR_PREMIER
	- heur = 1 ou HEUR = HEUR_RANDOM
	- heur = 2 ou HEUR = HEUR_JW
	- heur = 3 ou HEUR = HEUR_LEXICO
	- heur = 4 ou HEUR = HEUR_QBFL
-vt<freq> | --vrai-trivial=<freq>	specifier la frequence de verification du vrai trivial
-ft<freq> | --faux-trivial=<freq>	specifier la frequence de verification du faux trivial sur Σ

qbfl est développé par : Florian Letombe