| Welcome | User's manual | Downloads | Back on my researches |
Usage : hornQbfg [<option> ...] (resp. renHornQbfg [<option> ...])
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 hornQbfg (resp. renHornQbfg) |
| -nbi=<i> | to specify the number of instances i to generate |
| -nba=<a> | to specify the number of quantifications' alternances a |
| -nbv=<v> | to specify the number of variables v |
| -nbc=<c> | to specify the number of clauses c |
| -prq=[ae] | to specify outermost quantifier's type ('a' is universal, 'e' existential) |
| -dir=<rep> | to specify the name of the directory where to generate instances |
hornQbfg (resp. renHornQbfg) is developped by Florian Letombe