PyQBF: A Python Framework for Solving Quantified Boolean Formulas

Download PDF
Open Webpage

Mark Peyrer, Maximilian Heisinger, Martina Seidl

Published: 2024, Last Modified: 26 May 2026IFM 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Over the last years many solvers for quantified Boolean formulas (QBFs) have been developed. While most of these solvers support QDIMACS as a standard input format, exchanging a QBF solver within a reasoning framework is often a challenging task. Many solvers do not provide an API but they can only be used via their executable. Further, incremental solving is only supported to a limited extend.