pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-aarch64/pycosat-0.6.3-py37h14c3975_1001.tar.bz2 | conda | 0.6.3 | linux-aarch64 | main | Jan 7, 2019, 04:56 AM | 104.49 KB | 106 | |
linux-aarch64/pycosat-0.6.3-py36h14c3975_1001.tar.bz2 | conda | 0.6.3 | linux-aarch64 | main | Jan 7, 2019, 04:51 AM | 104.82 KB | 118 | |
linux-aarch64/pycosat-0.6.3-py27h14c3975_1001.tar.bz2 | conda | 0.6.3 | linux-aarch64 | main | Jan 7, 2019, 04:45 AM | 104.35 KB | 19 |