A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Primary LanguageRustMozilla Public License 2.0MPL-2.0