cryptominisat
An advanced SAT Solver https://www.msoos.org
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-arm64/cryptominisat-5.12.1-h73d1ac6_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 10.96 KB | 0 | |
linux-aarch64/cryptominisat-5.12.1-hfdfb486_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 10.92 KB | 0 | |
linux-64/cryptominisat-5.12.1-h145fda9_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 10.97 KB | 5 | |
win-64/cryptominisat-5.6.6-h60dcfdc_4.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 462.22 KB | 4 | |
win-64/cryptominisat-5.6.6-h4062798_0.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 113.48 KB | 2 | |
win-64/cryptominisat-5.6.6-h228fd0b_3.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 170.35 KB | 2 | |
win-64/cryptominisat-5.6.6-h15f959b_1.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 198.96 KB | 3 | |
win-64/cryptominisat-5.6.6-h15f959b_2.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 198.84 KB | 2 | |
win-64/cryptominisat-5.6.6-h15f959b_0.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 03:53 AM | 198.15 KB | 4 | |
osx-arm64/cryptominisat-5.6.6-hec200a7_4.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:21 AM | 106.97 KB | 2 | |
osx-arm64/cryptominisat-5.6.6-h9486ba6_2.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:21 AM | 106.71 KB | 1 | |
osx-arm64/cryptominisat-5.6.6-h9486ba6_1.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:21 AM | 106.48 KB | 0 | |
osx-arm64/cryptominisat-5.6.6-h0ff2636_3.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:21 AM | 106.77 KB | 1 | |
osx-arm64/cryptominisat-5.6.6-h34beafc_0.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Sep 11, 2025, 03:21 AM | 109.02 KB | 1 | |
linux-aarch64/cryptominisat-5.6.6-h775c707_2.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:39 AM | 1.09 MB | 3 | |
linux-aarch64/cryptominisat-5.6.6-h879a6b1_0.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:39 AM | 1.13 MB | 2 | |
linux-aarch64/cryptominisat-5.6.6-h775c707_1.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:39 AM | 1.09 MB | 2 | |
linux-aarch64/cryptominisat-5.6.6-h308e764_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:39 AM | 956.29 KB | 3 | |
linux-aarch64/cryptominisat-5.6.6-h308e764_3.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Sep 11, 2025, 02:39 AM | 1.07 MB | 4 | |
linux-64/cryptominisat-5.6.6-hfbc36fb_2.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 1.1 MB | 3 | |
linux-64/cryptominisat-5.6.6-hfbc36fb_1.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 1.1 MB | 4 | |
linux-64/cryptominisat-5.6.6-hddd47a0_4.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 978.41 KB | 6 | |
linux-64/cryptominisat-5.6.6-hc2b5a8e_0.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 847.68 KB | 4 | |
linux-64/cryptominisat-5.6.6-h9e868ea_3.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 1.09 MB | 4 | |
linux-64/cryptominisat-5.6.6-h5d072ba_0.tar.bz2 | conda | 5.6.6 | linux-64 | main | Sep 11, 2025, 12:29 AM | 857.11 KB | 3 |