Python bindings to picosat (a SAT solver)
conda/pycosat has 194 GitHub stars.
It currently ranks #8533 daily, #9722 weekly, #13555 monthly by momentum on Trending Repos; its best-ever rank is #1907.