Information for RPM python3-pycosat-0.6.3-5.fc30.riscv64.rpm
| ID | 305517 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | python3-pycosat | |||||||||||||
| Version | 0.6.3 | |||||||||||||
| Release | 5.fc30 | |||||||||||||
| 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-12-06 18:59:24 GMT | |||||||||||||
| Size | 17.77 KB | |||||||||||||
| 5d53f7f54c7f0ec27d6305859c1d3801 | ||||||||||||||
| License | MIT | |||||||||||||
| Buildroot | f30-build-37975-21884 | |||||||||||||
| 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 |
