pyqbf 0.1

A Python Framework for Solving Quantfied Boolean Formulas

PyQBF

Bringing the world of QBF to Python.

Checkout

git clone ... --recursive 

or, if you already cloned the project:

git submodule update --init --recursive

Setup

For a complete setup guide, check out our setup documentation. For a quick setup, execute the following:

pip install --user git+https://gitlab.sai.jku.at/qbf/pyqbf.git

Implementation Notes

We expose some common operations (solving, certificate handling, pre-processing) to Python using an IPASIR-like interface, similar to the way PySAT exposes SAT tools to Python. We use CMake to fetch and build external projects and nanobind to bind them to Python. We bundle as many dependencies as possible inside this Git repository using Git LFS, as long as a tool's license allows redistribution, to guard against issues with external sources.