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: 1,976
Downloads last week: 32,411
Downloads last month: 129,400