Geek Repo
Github PK Tool:Github PK Tool
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
CaDiCaL SAT Solver