PyRank

Sat Solvers Python Packages

Python packages with the GitHub topic sat-solvers. Sorted by monthly downloads, with stars and forks.
sat-heritage
satex

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

131 42 3