pycryptosat
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-arm64/pycryptosat-5.12.1-py314h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 11, 2025, 09:40 AM | 936.83 KB | 0 | |
osx-arm64/pycryptosat-5.12.1-py310h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 935.32 KB | 0 | |
osx-arm64/pycryptosat-5.12.1-py313h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 934.77 KB | 0 | |
osx-arm64/pycryptosat-5.12.1-py312h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 949.14 KB | 0 | |
osx-arm64/pycryptosat-5.12.1-py311h86c5047_0.tar.bz2 | conda | 5.12.1 | osx-arm64 | main | Dec 2, 2025, 01:17 PM | 934.91 KB | 0 | |
linux-aarch64/pycryptosat-5.12.1-py313h8d3042e_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 1.07 MB | 0 | |
linux-aarch64/pycryptosat-5.12.1-py312h8d3042e_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 1.1 MB | 0 | |
linux-aarch64/pycryptosat-5.12.1-py311h8d3042e_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 1.12 MB | 1 | |
linux-aarch64/pycryptosat-5.12.1-py310h8d3042e_0.tar.bz2 | conda | 5.12.1 | linux-aarch64 | main | Dec 2, 2025, 01:17 PM | 1.12 MB | 0 | |
linux-64/pycryptosat-5.12.1-py313he614b8d_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 1007.26 KB | 5 | |
linux-64/pycryptosat-5.12.1-py312he614b8d_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 1009.36 KB | 5 | |
linux-64/pycryptosat-5.12.1-py310he614b8d_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 1007.25 KB | 6 | |
linux-64/pycryptosat-5.12.1-py311he614b8d_0.tar.bz2 | conda | 5.12.1 | linux-64 | main | Dec 2, 2025, 01:17 PM | 1007.42 KB | 5 | |
osx-arm64/pycryptosat-5.6.6-py314h4cd6a25_4.tar.bz2 | conda | 5.6.6 | osx-arm64 | main | Oct 15, 2025, 04:54 PM | 26.62 KB | 0 | |
linux-aarch64/pycryptosat-5.6.6-py314hb079382_4.tar.bz2 | conda | 5.6.6 | linux-aarch64 | main | Oct 15, 2025, 04:43 PM | 29.02 KB | 3 | |
linux-64/pycryptosat-5.6.6-py314h2292226_4.tar.bz2 | conda | 5.6.6 | linux-64 | main | Oct 15, 2025, 04:28 PM | 28.55 KB | 9 | |
win-64/pycryptosat-5.6.6-py39h5b6aea4_4.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 40.42 KB | 4 | |
win-64/pycryptosat-5.6.6-py39h425c57c_1.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.25 KB | 3 | |
win-64/pycryptosat-5.6.6-py39h425c57c_3.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.34 KB | 3 | |
win-64/pycryptosat-5.6.6-py39h425c57c_2.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.28 KB | 4 | |
win-64/pycryptosat-5.6.6-py38h425c57c_3.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.5 KB | 3 | |
win-64/pycryptosat-5.6.6-py38h425c57c_2.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.44 KB | 3 | |
win-64/pycryptosat-5.6.6-py38h425c57c_1.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 27.41 KB | 3 | |
win-64/pycryptosat-5.6.6-py311h5b6aea4_4.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 40.48 KB | 4 | |
win-64/pycryptosat-5.6.6-py37h5dfd299_0.tar.bz2 | conda | 5.6.6 | win-64 | main | Sep 11, 2025, 04:24 AM | 32.42 KB | 3 |