GitHub repository: pindakaashq/pindakaas
Primary language: Rust
Description: A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form