Information for RPM python3-pycosat-0.6.6-15.fc45.riscv64.rpm
| ID | 76900 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | python-pycosat-0.6.6-15.fc45 | |||||||||||
| Name | python3-pycosat | |||||||||||
| Version | 0.6.6 | |||||||||||
| Release | 15.fc45 | |||||||||||
| Epoch | ||||||||||||
| Arch | riscv64 | |||||||||||
| 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 | 2026-10-17 12:07:20 GMT | |||||||||||
| Size | 20.05 KB | |||||||||||
| b0f46886bd20151bf2604b048b4fd1a1 | ||||||||||||
| License | MIT | |||||||||||
| Buildroot | f45-build-32155-657 | |||||||||||
| Provides |
|
|||||||||||
| Obsoletes | No Obsoletes | |||||||||||
| Conflicts | No Conflicts | |||||||||||
| Requires |
|
|||||||||||
| Recommends | No Recommends | |||||||||||
| Suggests | No Suggests | |||||||||||
| Supplements | No Supplements | |||||||||||
| Enhances | No Enhances | |||||||||||
| Files | ||||||||||||
| Component of | No Buildroots |
