PyRank

Sat Encodings Python Packages

Python packages with the GitHub topic sat-encodings. Sorted by monthly downloads, with stars and forks.
pindakaashq
pindakaas

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

14K 14 7