pycosat
Bindings to picosat (a SAT solver)
- Overview
- Files 245
- Labels 1
- Badges
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-arm64/pycosat-0.6.6-py314h75312c3_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Oct 17, 2025, 12:08 PM | 120.92 KB | 2 | |
win-64/pycosat-0.6.6-py314h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Oct 16, 2025, 11:20 AM | 116.11 KB | 12 | |
linux-aarch64/pycosat-0.6.6-py314h998d150_2.tar.bz2 | conda | 0.6.6 | linux-aarch64 | main | Oct 15, 2025, 04:40 PM | 114.92 KB | 3 | |
linux-64/pycosat-0.6.6-py314h5eee18b_2.tar.bz2 | conda | 0.6.6 | linux-64 | main | Oct 15, 2025, 04:25 PM | 114.92 KB | 7 | |
win-64/pycosat-0.6.6-py39h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Jan 14, 2025, 10:37 PM | 110.49 KB | 642 | |
win-64/pycosat-0.6.6-py313h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Jan 14, 2025, 10:37 PM | 113.44 KB | 160 | |
win-64/pycosat-0.6.6-py312h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Jan 14, 2025, 10:37 PM | 113.3 KB | 581 | |
win-64/pycosat-0.6.6-py311h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Jan 14, 2025, 10:37 PM | 114.19 KB | 330 | |
win-64/pycosat-0.6.6-py310h827c3e9_2.tar.bz2 | conda | 0.6.6 | win-64 | main | Jan 14, 2025, 10:37 PM | 110.53 KB | 310 | |
osx-arm64/pycosat-0.6.6-py39h80987f9_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Jan 14, 2025, 10:37 PM | 108.27 KB | 1.5K | |
osx-arm64/pycosat-0.6.6-py313h80987f9_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Jan 14, 2025, 10:37 PM | 111.4 KB | 46 | |
osx-arm64/pycosat-0.6.6-py312h80987f9_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Jan 14, 2025, 10:37 PM | 111.45 KB | 176 | |
osx-arm64/pycosat-0.6.6-py310h80987f9_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Jan 14, 2025, 10:37 PM | 108.81 KB | 1.5K | |
osx-arm64/pycosat-0.6.6-py311h80987f9_2.tar.bz2 | conda | 0.6.6 | osx-arm64 | main | Jan 14, 2025, 10:37 PM | 112.26 KB | 128 | |
osx-64/pycosat-0.6.6-py39h46256e1_2.tar.bz2 | conda | 0.6.6 | osx-64 | main | Jan 14, 2025, 10:37 PM | 111.16 KB | 74 | |
osx-64/pycosat-0.6.6-py313h46256e1_2.tar.bz2 | conda | 0.6.6 | osx-64 | main | Jan 14, 2025, 10:37 PM | 114.09 KB | 32 | |
osx-64/pycosat-0.6.6-py311h46256e1_2.tar.bz2 | conda | 0.6.6 | osx-64 | main | Jan 14, 2025, 10:37 PM | 114.79 KB | 50 | |
osx-64/pycosat-0.6.6-py312h46256e1_2.tar.bz2 | conda | 0.6.6 | osx-64 | main | Jan 14, 2025, 10:37 PM | 113.91 KB | 89 | |
osx-64/pycosat-0.6.6-py310h46256e1_2.tar.bz2 | conda | 0.6.6 | osx-64 | main | Jan 14, 2025, 10:37 PM | 112.23 KB | 59 | |
linux-s390x/pycosat-0.6.6-py313hc33a586_2.tar.bz2 | conda | 0.6.6 | linux-s390x | main | Jan 14, 2025, 10:37 PM | 113.48 KB | 16 | |
linux-s390x/pycosat-0.6.6-py39hc33a586_2.tar.bz2 | conda | 0.6.6 | linux-s390x | main | Jan 14, 2025, 10:37 PM | 109.95 KB | 12 | |
linux-s390x/pycosat-0.6.6-py312hc33a586_2.tar.bz2 | conda | 0.6.6 | linux-s390x | main | Jan 14, 2025, 10:37 PM | 113.09 KB | 13 | |
linux-s390x/pycosat-0.6.6-py311hc33a586_2.tar.bz2 | conda | 0.6.6 | linux-s390x | main | Jan 14, 2025, 10:37 PM | 114.11 KB | 16 | |
linux-s390x/pycosat-0.6.6-py310hc33a586_2.tar.bz2 | conda | 0.6.6 | linux-s390x | main | Jan 14, 2025, 10:37 PM | 110.14 KB | 55 | |
linux-aarch64/pycosat-0.6.6-py313h998d150_2.tar.bz2 | conda | 0.6.6 | linux-aarch64 | main | Jan 14, 2025, 10:37 PM | 112.01 KB | 19 |