An advanced SAT Solver https://www.msoos.org
| Uploaded | Mon Mar 31 23:21:47 2025 |
| md5 checksum | 7add0940b86605c0621b67818675318b |
| arch | x86_64 |
| build | py310h3826bc1_0 |
| depends | libcryptominisat 5.6.6 h3826bc1_0, libgcc-ng >=7.5.0, libstdcxx-ng >=7.5.0, python >=3.10,<3.11.0a0, zlib |
| license | MIT |
| license_family | MIT |
| md5 | 7add0940b86605c0621b67818675318b |
| name | pycryptosat |
| platform | linux |
| sha1 | 210387a3fb435fec4c2628e4d8c4f236f807c327 |
| sha256 | a78fcd73936f4614df325f419f86243c4021f36c861009089bdd5e4c5dfab8bf |
| size | 83815 |
| subdir | linux-64 |
| timestamp | 1641901808399 |
| version | 5.6.6 |