An advanced SAT Solver https://www.msoos.org
| Uploaded | Mon Mar 31 01:07:06 2025 |
| md5 checksum | 73b731e868fc8ffe5721ca26a524747d |
| arch | x86_64 |
| build | py38hc0fe6c6_0 |
| depends | libcryptominisat 5.6.6 hc0fe6c6_0, libgcc-ng >=7.3.0, libstdcxx-ng >=7.3.0, python >=3.8,<3.9.0a0, zlib |
| license | MIT |
| license_family | MIT |
| md5 | 73b731e868fc8ffe5721ca26a524747d |
| name | pycryptosat |
| platform | linux |
| sha1 | 127da87186e32e298e0806acc5fc8612e16b00d3 |
| sha256 | 9c24c27cad9e17f1d562d1028d5e8e431a752e3cd2a7119d172f3f146ac86a36 |
| size | 90939 |
| subdir | linux-64 |
| timestamp | 1611760405141 |
| version | 5.6.6 |