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: 2,824
Downloads last week: 17,579
Downloads last month: 63,078