CryptoMiniSat¶
CryptoMiniSat is an advanced SAT solver
homepage: https://github.com/msoos/cryptominisat
| version | versionsuffix | toolchain |
|---|---|---|
5.0.1 |
-Python-2.7.12 |
intel/2016b |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)