cryptominisat
An advanced SAT Solver https://www.msoos.org
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-64/cryptominisat-5.8.0-py39hb10e792_3.conda | conda | 5.8.0 | macOS-64 | main | Apr 7, 2024, 02:51 PM | 546.06 KB | 613 | |
osx-64/cryptominisat-5.8.0-py310he18e62a_3.conda | conda | 5.8.0 | macOS-64 | main | Apr 7, 2024, 02:51 PM | 544.59 KB | 587 | |
osx-64/cryptominisat-5.8.0-py311hcb21608_3.conda | conda | 5.8.0 | macOS-64 | main | Apr 7, 2024, 02:51 PM | 545.08 KB | 589 | |
osx-64/cryptominisat-5.8.0-py38h0f667b6_3.conda | conda | 5.8.0 | macOS-64 | main | Apr 7, 2024, 02:51 PM | 546.84 KB | 610 | |
linux-64/cryptominisat-5.8.0-py38h40af590_3.conda | conda | 5.8.0 | linux-64 | main | Apr 7, 2024, 02:46 PM | 577.6 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py39hebe7e3d_3.conda | conda | 5.8.0 | linux-64 | main | Apr 7, 2024, 02:45 PM | 577.51 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py310h5aff6b2_3.conda | conda | 5.8.0 | linux-64 | main | Apr 7, 2024, 02:45 PM | 508.5 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py311h3581ac3_3.conda | conda | 5.8.0 | linux-64 | main | Apr 7, 2024, 02:45 PM | 509.47 KB | 2.2K | |
osx-64/cryptominisat-5.8.0-py39h642dc6f_2.conda | conda | 5.8.0 | macOS-64 | main | Oct 8, 2023, 03:58 AM | 567.3 KB | 600 | |
osx-64/cryptominisat-5.8.0-py311h568df67_2.conda | conda | 5.8.0 | macOS-64 | main | Oct 8, 2023, 03:58 AM | 565.58 KB | 563 | |
osx-64/cryptominisat-5.8.0-py310hc7e2060_2.conda | conda | 5.8.0 | macOS-64 | main | Oct 8, 2023, 03:58 AM | 565.45 KB | 596 | |
osx-64/cryptominisat-5.8.0-py38h50bf175_2.conda | conda | 5.8.0 | macOS-64 | main | Oct 8, 2023, 03:57 AM | 565.77 KB | 564 | |
linux-64/cryptominisat-5.8.0-py310he5dd035_2.conda | conda | 5.8.0 | linux-64 | main | Oct 8, 2023, 03:54 AM | 509.46 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py38h2a962c2_2.conda | conda | 5.8.0 | linux-64 | main | Oct 8, 2023, 03:53 AM | 577.72 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py311h597d2cd_2.conda | conda | 5.8.0 | linux-64 | main | Oct 8, 2023, 03:53 AM | 509.94 KB | 2.1K | |
linux-64/cryptominisat-5.8.0-py39h1a3a448_2.conda | conda | 5.8.0 | linux-64 | main | Oct 8, 2023, 03:53 AM | 575.76 KB | 2.2K | |
osx-64/cryptominisat-5.8.0-py38hafef7a7_1.tar.bz2 | conda | 5.8.0 | macOS-64 | main | Nov 14, 2021, 04:22 AM | 586.78 KB | 144 | |
osx-64/cryptominisat-5.8.0-py310h418234e_1.tar.bz2 | conda | 5.8.0 | macOS-64 | main | Nov 14, 2021, 04:22 AM | 588.16 KB | 115 | |
osx-64/cryptominisat-5.8.0-py39hdf0219e_1.tar.bz2 | conda | 5.8.0 | macOS-64 | main | Nov 14, 2021, 04:20 AM | 601.35 KB | 359 | |
osx-64/cryptominisat-5.8.0-py37hb8dddd4_1.tar.bz2 | conda | 5.8.0 | macOS-64 | main | Nov 14, 2021, 04:20 AM | 587.15 KB | 99 | |
linux-64/cryptominisat-5.8.0-py310h498eb00_1.tar.bz2 | conda | 5.8.0 | linux-64 | main | Nov 14, 2021, 04:16 AM | 666.8 KB | 3.3K | |
linux-64/cryptominisat-5.8.0-py38h0750f31_1.tar.bz2 | conda | 5.8.0 | linux-64 | main | Nov 14, 2021, 04:16 AM | 667.78 KB | 2.8K | |
linux-64/cryptominisat-5.8.0-py37haaa77d3_1.tar.bz2 | conda | 5.8.0 | linux-64 | main | Nov 14, 2021, 04:15 AM | 666.7 KB | 2.7K | |
linux-64/cryptominisat-5.8.0-py39hcf67cbd_1.tar.bz2 | conda | 5.8.0 | linux-64 | main | Nov 14, 2021, 04:15 AM | 666.57 KB | 3.5K | |
osx-64/cryptominisat-5.8.0-py36h4b31d39_0.tar.bz2 | conda | 5.8.0 | macOS-64 | main | Apr 16, 2021, 08:41 PM | 585.23 KB | 220 |