An advanced SAT Solver https://www.msoos.org
| Uploaded | Mon Mar 31 22:13:45 2025 |
| md5 checksum | dac4bd0fe270a9c1a06b924cf80ac4a2 |
| arch | x86_64 |
| build | h0e08187_0 |
| depends | libgcc-ng >=7.3.0, libstdcxx-ng >=7.3.0, zlib >=1.2.11,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | dac4bd0fe270a9c1a06b924cf80ac4a2 |
| name | libcryptominisat |
| platform | linux |
| sha1 | 31622e6881a2d969cb5c17dbbacb40039d473764 |
| sha256 | b7cd693545a65804be6fb74da22d270d018aaef87d5ea272a3aad6361f773767 |
| size | 3871659 |
| subdir | linux-64 |
| timestamp | 1548446889535 |
| version | 5.6.6 |