pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-ppc64le/pycosat-0.6.6-py39hdce265e_0.tar.bz2 | conda | 0.6.6 | linux-ppc64le | main | Feb 24, 2024, 10:32 AM | 124.78 KB | 1 | |
linux-ppc64le/pycosat-0.6.6-py311hdce265e_0.tar.bz2 | conda | 0.6.6 | linux-ppc64le | main | Feb 24, 2024, 10:32 AM | 126.88 KB | 1 | |
linux-ppc64le/pycosat-0.6.6-py310hdce265e_0.tar.bz2 | conda | 0.6.6 | linux-ppc64le | main | Feb 24, 2024, 10:32 AM | 124.56 KB | 1 |