cryptominisat
An advanced SAT Solver https://www.msoos.org
Installation
To install this package, run one of the following:
Usage Tracking
5.8.0
5.6.8
5.6.7
5.6.5
5.6.4
5 / 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
Apr 16, 2021 at 20:34
License
MIT
Supported Platforms
linux-64
macOS-64
GitHub Repository
https://github.com/msoos/cryptominisat