pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-64/pycosat-0.6.3-py39h27cfd23_0.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 108.42 KB | 1 | |
linux-64/pycosat-0.6.3-py39h27cfd23_0.conda | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 82.1 KB | 2 | |
linux-64/pycosat-0.6.3-py38h7b6447c_1.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 107.12 KB | 1 | |
linux-64/pycosat-0.6.3-py38h7b6447c_1.conda | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 81.92 KB | 3 | |
linux-64/pycosat-0.6.3-py38h7b6447c_0.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 113.11 KB | 1 | |
linux-64/pycosat-0.6.3-py38h7b6447c_0.conda | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 86.79 KB | 3 | |
linux-64/pycosat-0.6.3-py38h27cfd23_0.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 107.38 KB | 1 | |
linux-64/pycosat-0.6.3-py38h27cfd23_0.conda | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 81.8 KB | 2 | |
linux-64/pycosat-0.6.3-py310h7f8727e_0.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 205.81 KB | 1 | |
linux-64/pycosat-0.6.3-py310h7f8727e_0.conda | conda | 0.6.3 | linux-64 | main | Nov 20, 2024, 06:33 PM | 162.02 KB | 3 | |
linux-64/pycosat-0.6.4-py39h5eee18b_0.tar.bz2 | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 109.57 KB | 1 | |
linux-64/pycosat-0.6.4-py39h5eee18b_0.conda | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 83.84 KB | 3 | |
linux-64/pycosat-0.6.4-py38h5eee18b_0.tar.bz2 | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 109.9 KB | 1 | |
linux-64/pycosat-0.6.4-py38h5eee18b_0.conda | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 83.91 KB | 2 | |
linux-64/pycosat-0.6.4-py311h5eee18b_0.tar.bz2 | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 111.85 KB | 1 | |
linux-64/pycosat-0.6.4-py311h5eee18b_0.conda | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 83.91 KB | 2 | |
linux-64/pycosat-0.6.4-py310h5eee18b_0.tar.bz2 | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 107.47 KB | 1 | |
linux-64/pycosat-0.6.4-py310h5eee18b_0.conda | conda | 0.6.4 | linux-64 | main | Nov 20, 2024, 06:33 PM | 82.3 KB | 3 | |
linux-64/pycosat-0.6.6-py39h5eee18b_1.tar.bz2 | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:33 PM | 114.96 KB | 1 | |
linux-64/pycosat-0.6.6-py39h5eee18b_1.conda | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:33 PM | 93.44 KB | 2 | |
linux-64/pycosat-0.6.6-py39h5eee18b_0.tar.bz2 | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:33 PM | 115.54 KB | 1 | |
linux-64/pycosat-0.6.6-py39h5eee18b_0.conda | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:33 PM | 93.62 KB | 2 | |
linux-64/pycosat-0.6.6-py38h5eee18b_1.tar.bz2 | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:32 PM | 114.93 KB | 1 | |
linux-64/pycosat-0.6.6-py38h5eee18b_1.conda | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:32 PM | 92.9 KB | 2 | |
linux-64/pycosat-0.6.6-py38h5eee18b_0.tar.bz2 | conda | 0.6.6 | linux-64 | main | Nov 20, 2024, 06:32 PM | 116.69 KB | 0 |