Information for RPM python3-pycosat-0.6.3-3.fc29.riscv64.rpm
| ID | 165213 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | python3-pycosat | |||||||||||||
| Version | 0.6.3 | |||||||||||||
| Release | 3.fc29 | |||||||||||||
| Epoch | ||||||||||||||
| Arch | riscv64 | |||||||||||||
| 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 | 2018-07-07 10:45:52 GMT | |||||||||||||
| Size | 19.17 KB | |||||||||||||
| ec18d8873c44ee13a5b74351c353c55d | ||||||||||||||
| License | MIT | |||||||||||||
| Buildroot | f29-build-16608-8084 | |||||||||||||
| 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 |
