pseudo-boolean
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form