An advanced SAT Solver https://www.msoos.org
| Uploaded | Sun Mar 30 23:28:11 2025 |
| md5 checksum | 3819d64491a59c654913c67b183e1d92 |
| arch | x86_64 |
| build | h9e868ea_2 |
| build_number | 2 |
| depends | libgcc-ng >=11.2.0, libstdcxx-ng >=11.2.0, zlib >=1.2.13,<1.3.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | 3819d64491a59c654913c67b183e1d92 |
| name | libcryptominisat |
| platform | linux |
| sha1 | aaea47f8e72c81e6c2306ea321ab6941ca51700f |
| sha256 | 3da5218431990635594eda5214f16a0a95764af71f48e6204ba9f0e609caf882 |
| size | 6015969 |
| subdir | linux-64 |
| timestamp | 1679313384931 |
| version | 5.6.6 |