Pindakaas

Encoding propositional and Pseudo Boolean constraints into CNF

Python bindings for the Pindakaas Rust library. See the Rust documentation for encoding details.

Acknowledgements. This research was partially funded by the Australian Government through the Australian Research Council Industrial Transformation Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Project ID IC200100009.

Citation. Use the software citation alongside any version or paper citation:

@software{Pindakaas,
author = {Bierlee, Hendrik and Dekker, Jip J.},
license = {MPL-2.0},
title = {{Pindakaas}},
url = {https://doi.org/10.5281/zenodo.10851855},
doi = {10.5281/zenodo.10851855},
}

Use misc if the bibliography system does not support software.