PyRank

Sat Encodings Python Packages

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

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

22K 12 6