pycosat
Bindings to picosat (a SAT solver)
Installation
To install this package, run one of the following:
Usage Tracking
0.6.3
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Bindings to picosat (a SAT solver)
Last Updated
May 13, 2019 at 18:24
License
MIT
Supported Platforms
linux-ppc64le
linux-64
win-32
linux-aarch64
macOS-64
win-64