pycryptosat
An advanced SAT Solver https://www.msoos.org
Installation
To install this package, run one of the following:
Usage Tracking
5.12.1
5.6.6
2 / 8 versions selected
Downloads (Last 6 months): 0
Description
An advanced SAT Solver https://www.msoos.org
About
Summary
An advanced SAT Solver https://www.msoos.org
Last Updated
Dec 2, 2025 at 13:17
License
MIT
Total Downloads
2.4K
Supported Platforms
macOS-arm64
linux-64
linux-aarch64
Unsupported Platforms
linux-ppc64le Last supported version: 5.6.6
win-32 Last supported version: 5.6.6
linux-s390x Last supported version: 5.6.6
macOS-64 Last supported version: 5.6.6
win-64 Last supported version: 5.6.6
GitHub Repository
https://github.com/msoos/cryptominisatDocumentation
https://github.com/msoos/cryptominisat