cryptominisat - SAT solver
| Website: | http://www.msoos.org/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces
Packages
| cryptominisat-5.7.1-4.fc14.al.i686 [112 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |