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: 11,891
Downloads last week: 56,586
Downloads last month: 386,853