pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-aarch64/pycosat-0.6.3-py39hfd63f10_2.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp_activation_41 | Apr 24, 2021, 03:27 PM | 104.98 KB | 2 | |
linux-aarch64/pycosat-0.6.3-py38hfd63f10_2.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp_activation_41 | Apr 24, 2021, 03:27 PM | 105.27 KB | 4 | |
linux-aarch64/pycosat-0.6.3-py37hfd63f10_2.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp_activation_41 | Apr 24, 2021, 03:27 PM | 105.26 KB | 2 | |
linux-aarch64/pycosat-0.6.3-py39hfd63f10_1.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp41 | Apr 21, 2021, 03:19 AM | 105.12 KB | 1 | |
linux-aarch64/pycosat-0.6.3-py38hfd63f10_1.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp41 | Apr 21, 2021, 03:19 AM | 105.24 KB | 1 | |
linux-aarch64/pycosat-0.6.3-py37hfd63f10_1.tar.bz2 | conda | 0.6.3 | linux-aarch64 | mainARrebuilt_w_comp41 | Apr 21, 2021, 03:19 AM | 105.29 KB | 1 | |
linux-aarch64/pycosat-0.6.3-py39hfd63f10_0.tar.bz2 | conda | 0.6.3 | linux-aarch64 | ARmain | Mar 3, 2021, 05:09 PM | 105.48 KB | 8 | |
linux-aarch64/pycosat-0.6.3-py38hfd63f10_0.tar.bz2 | conda | 0.6.3 | linux-aarch64 | ARmain | Mar 3, 2021, 05:09 PM | 105.46 KB | 7 | |
linux-aarch64/pycosat-0.6.3-py37hfd63f10_0.tar.bz2 | conda | 0.6.3 | linux-aarch64 | ARmain | Mar 3, 2021, 05:09 PM | 105.38 KB | 7 | |
linux-aarch64/pycosat-0.6.3-py38h81aae68_1006.tar.bz2 | conda | 0.6.3 | linux-aarch64 | archive | Feb 19, 2021, 07:02 AM | 108.11 KB | 6 | |
linux-aarch64/pycosat-0.6.3-py37heeccf27_1006.tar.bz2 | conda | 0.6.3 | linux-aarch64 | archive | Feb 19, 2021, 07:02 AM | 108.06 KB | 4 |