Metadata-Version: 2.4
Name: pindakaas
Version: 0.1.0
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Summary: Python bindings for the pindakaas crate
Keywords: satisfiability,encoding,boolean,logic,sat
Home-Page: https://github.com/pindakaashq/pindakaas
Author: Jip J. Dekker <jip@dekker.one>, Hendrik 'Henk' Bierlee <henk.bierlee@kuleuven.be>
Author-email: Jip J. Dekker <jip@dekker.one>, Hendrik 'Henk' Bierlee <henk.bierlee@kuleuven.be>
License: MPL-2.0
Requires-Python: >=3.8
Project-URL: Source Code, https://github.com/pindakaashq/pindakaas
