Information for RPM python3-pycosat-0.6.3-4.fc29.riscv64.rpm
ID | 213533 | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | python3-pycosat | |||||||||||||
Version | 0.6.3 | |||||||||||||
Release | 4.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-28 12:47:16 GMT | |||||||||||||
Size | 18.50 KB | |||||||||||||
f1ddafd7a7b2fed6e40cedbfbcf9f727 | ||||||||||||||
License | MIT | |||||||||||||
Buildroot | f29-build-20694-10824 | |||||||||||||
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 |