pycosat
Bindings to picosat (a SAT solver)
- Overview
- Files 15
- Labels 1
- Badges
Installation
To install this package, run one of the following:
Usage Tracking
0.6.3
0.6.1
2 / 8 versions selected
Total downloads: 0
About
Summary
Bindings to picosat (a SAT solver)
Information Last Updated
Mar 25, 2025 at 16:21
License
MIT
Total Downloads
30.4K
Platforms
Linux armv6l Version: 0.6.3
Linux armv7l Version: 0.6.3