pycosat
Bindings to picosat (a SAT solver)
Installation
To install this package, run one of the following:
Usage Tracking
0.6.3
0.6.1
2 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Bindings to picosat (a SAT solver)
Last Updated
Nov 10, 2017 at 03:06
License
MIT
Total Downloads
30.4K
Supported Platforms
linux-armv6l
linux-armv7l