bindings to picosat (a SAT solver)
No known vulnerabilities in the latest version
[](/packages/pycosat)
<a href="/packages/pycosat"><img src="/api/badges/pycosat?period=month" alt="PyPI Stats"></a>