Pindakaas
Encoding propositional and Pseudo Boolean constraints into CNF
This documentation describes the Python interface to the Pindakaas Rust library. See the Rust documentation for more in-depth information.
Encoding propositional and Pseudo Boolean constraints into CNF
This documentation describes the Python interface to the Pindakaas Rust library. See the Rust documentation for more in-depth information.