A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Primary LanguagePythonGNU General Public License v3.0GPL-3.0