pycosat
Bindings to picosat (a SAT solver)
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-aarch64/pycosat-0.6.3-py38ha99fdf8_1009.tar.bz2 | conda | 0.6.3 | linux-aarch64 | main | Mar 23, 2022, 03:08 AM | 108.07 KB | 12 | |
linux-64/pycosat-0.6.3-py38h79d3a15_1009.tar.bz2 | conda | 0.6.3 | linux-64 | main | Nov 26, 2021, 05:21 PM | 107.56 KB | 40 |