pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-64/pycosat-0.6.6-py314h5bd0f2a_3.conda | conda | 0.6.6 | linux-64 | main | Sep 13, 2025, 06:32 AM | 86.57 KB | 825 | |
osx-arm64/pycosat-0.6.6-py313hcdf3177_3.conda | conda | 0.6.6 | osx-arm64 | main | Sep 13, 2025, 06:31 AM | 90.24 KB | 15.6K | |
win-64/pycosat-0.6.6-py313h5ea7bf4_3.conda | conda | 0.6.6 | win-64 | main | Sep 13, 2025, 06:30 AM | 77.56 KB | 41.1K | |
osx-64/pycosat-0.6.6-py310h1b7cace_3.conda | conda | 0.6.6 | osx-64 | main | Sep 13, 2025, 06:30 AM | 91.34 KB | 2.6K | |
win-64/pycosat-0.6.6-py310h29418f3_3.conda | conda | 0.6.6 | win-64 | main | Sep 13, 2025, 06:30 AM | 74.85 KB | 11.2K | |
osx-64/pycosat-0.6.6-py313h585f44e_3.conda | conda | 0.6.6 | osx-64 | main | Sep 13, 2025, 06:29 AM | 94.27 KB | 39.5K | |
osx-arm64/pycosat-0.6.6-py311h3696347_3.conda | conda | 0.6.6 | osx-arm64 | main | Sep 13, 2025, 06:29 AM | 91.56 KB | 17.6K | |
osx-arm64/pycosat-0.6.6-py310h7bdd564_3.conda | conda | 0.6.6 | osx-arm64 | main | Sep 13, 2025, 06:29 AM | 88.01 KB | 5.2K | |
win-64/pycosat-0.6.6-py312he06e257_3.conda | conda | 0.6.6 | win-64 | main | Sep 13, 2025, 06:29 AM | 77.4 KB | 56.5K | |
osx-arm64/pycosat-0.6.6-py312h163523d_3.conda | conda | 0.6.6 | osx-arm64 | main | Sep 13, 2025, 06:28 AM | 90.83 KB | 12.9K | |
linux-aarch64/pycosat-0.6.6-py312hcd1a082_3.conda | conda | 0.6.6 | linux-aarch64 | main | Sep 13, 2025, 06:28 AM | 86.26 KB | 30.6K | |
osx-64/pycosat-0.6.6-py314h03d016b_3.conda | conda | 0.6.6 | osx-64 | main | Sep 13, 2025, 06:28 AM | 94.44 KB | 77 | |
win-64/pycosat-0.6.6-py311h3485c13_3.conda | conda | 0.6.6 | win-64 | main | Sep 13, 2025, 06:28 AM | 77.39 KB | 71.7K | |
linux-aarch64/pycosat-0.6.6-py311h19352d5_3.conda | conda | 0.6.6 | linux-aarch64 | main | Sep 13, 2025, 06:28 AM | 86.65 KB | 7.1K | |
linux-ppc64le/pycosat-0.6.6-py314he970779_3.conda | conda | 0.6.6 | linux-ppc64le | main | Sep 13, 2025, 06:28 AM | 92.68 KB | 34 | |
osx-64/pycosat-0.6.6-py312h2f459f6_3.conda | conda | 0.6.6 | osx-64 | main | Sep 13, 2025, 06:27 AM | 94.58 KB | 98.8K | |
linux-aarch64/pycosat-0.6.6-py313h6194ac5_3.conda | conda | 0.6.6 | linux-aarch64 | main | Sep 13, 2025, 06:27 AM | 86.37 KB | 9.7K | |
osx-64/pycosat-0.6.6-py311h13e5629_3.conda | conda | 0.6.6 | osx-64 | main | Sep 13, 2025, 06:27 AM | 94.83 KB | 4.9K | |
linux-aarch64/pycosat-0.6.6-py310h5b55623_3.conda | conda | 0.6.6 | linux-aarch64 | main | Sep 13, 2025, 06:27 AM | 84.24 KB | 4.7K | |
linux-ppc64le/pycosat-0.6.6-py312h4c6bf75_3.conda | conda | 0.6.6 | linux-ppc64le | main | Sep 13, 2025, 06:27 AM | 92.69 KB | 516 | |
linux-aarch64/pycosat-0.6.6-py314h51f160d_3.conda | conda | 0.6.6 | linux-aarch64 | main | Sep 13, 2025, 06:27 AM | 87.4 KB | 141 | |
linux-ppc64le/pycosat-0.6.6-py311h26d343c_3.conda | conda | 0.6.6 | linux-ppc64le | main | Sep 13, 2025, 06:27 AM | 92.82 KB | 535 | |
linux-64/pycosat-0.6.6-py311h49ec1c0_3.conda | conda | 0.6.6 | linux-64 | main | Sep 13, 2025, 06:26 AM | 86.42 KB | 568.5K | |
osx-arm64/pycosat-0.6.6-py314hb84d1df_3.conda | conda | 0.6.6 | osx-arm64 | main | Sep 13, 2025, 06:26 AM | 90.81 KB | 153 | |
linux-ppc64le/pycosat-0.6.6-py310h20e1137_3.conda | conda | 0.6.6 | linux-ppc64le | main | Sep 13, 2025, 06:26 AM | 90.2 KB | 362 |