Information for RPM python3-pycosat-0.6.6-3.oc9.x86_64.rpm
| ID | 356647 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | python-pycosat-0.6.6-3.oc9 | ||||||||||
| Name | python3-pycosat | ||||||||||
| Version | 0.6.6 | ||||||||||
| Release | 3.oc9 | ||||||||||
| Epoch | |||||||||||
| Arch | x86_64 | ||||||||||
| Draft | False | ||||||||||
| Summary | Python bindings to picosat (a SAT solver) | ||||||||||
| Description | 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. | ||||||||||
| Build Time | 2025-06-13 16:51:54 GMT | ||||||||||
| Size | 28.78 KB | ||||||||||
| 862ecb7ea1f386909c3052cc865c8c75 | |||||||||||
| License | MIT | ||||||||||
| Buildroot | dist-oc9-epol-build-156164-79739 | ||||||||||
| Provides |
|
||||||||||
| Obsoletes |
|
||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files | |||||||||||
| Component of | No Buildroots |
