An advanced SAT Solver https://www.msoos.org
| Uploaded | Mon Mar 31 22:13:47 2025 |
| md5 checksum | 6071bc213faf38520152eed5e124c4c8 |
| arch | x86_64 |
| build | h9e868ea_3 |
| build_number | 3 |
| depends | libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | 6071bc213faf38520152eed5e124c4c8 |
| name | libcryptominisat |
| platform | linux |
| sha1 | 692ca9fd3a2fd44739458b64839968ae77b62b4d |
| sha256 | f55eec91e84881b52a1ca0c1581970ca0152097b2e9a4a41dff13cc69aea669c |
| size | 6025618 |
| subdir | linux-64 |
| timestamp | 1693261743710 |
| version | 5.6.6 |