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: 7,314
Downloads last week: 53,861
Downloads last month: 221,551