pycosat

PyPI page
Home page
Author: Ilan Schnell
License: MIT
Summary: bindings to picosat (a SAT solver)
Latest version: 0.6.6


Downloads last day: 9,829
Downloads last week: 78,199
Downloads last month: 264,306