| Welcome | User's manual | Downloads | Back on my researches |
Before it would be too late, you have to know that you can always come back on my researches (sorry, in french).
I present here two generators of polynomial QBF instances: hornQbfg and renHornQbfg. The first one generates Quantified Horn Formulas (QHFs) while the second one produces Renamable QHFs (renQHFs). Both are described in this document.
For each suggestion councerning this site and my generators, or if you eventualy discover a Bug, please send me a mail.