PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.
| Uploaded | Wed Nov 20 18:33:09 2024 |
| md5 checksum | b7f0f23d42490df5f7be95bb9dd7e6a4 |
| arch | x86_64 |
| build | py311h5eee18b_0 |
| depends | libgcc-ng >=11.2.0, python >=3.11,<3.12.0a0 |
| license | MIT |
| license_family | MIT |
| md5 | b7f0f23d42490df5f7be95bb9dd7e6a4 |
| name | pycosat |
| platform | linux |
| sha1 | e20ae74cffaf25de034fb313e278846dd2055f4b |
| sha256 | 2a41822bef492951df98a957165d6634706844d284b5cd4895f2f00d59467c68 |
| size | 114538 |
| subdir | linux-64 |
| timestamp | 1676838542087 |
| version | 0.6.4 |