Information for RPM python2-pycosat-0.6.3-2.fc29.riscv64.rpm
ID | 130699 | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | python2-pycosat | |||||||||||||
Version | 0.6.3 | |||||||||||||
Release | 2.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-06-09 22:14:56 GMT | |||||||||||||
Size | 19.19 KB | |||||||||||||
9253a62691a8c14711cd6a82d0637bc9 | ||||||||||||||
License | MIT | |||||||||||||
Buildroot | f29-build-9596-4305 | |||||||||||||
Provides |
|
|||||||||||||
Obsoletes |
|
|||||||||||||
Conflicts | No Conflicts | |||||||||||||
Requires |
|
|||||||||||||
Recommends | No Recommends | |||||||||||||
Suggests | No Suggests | |||||||||||||
Supplements | No Supplements | |||||||||||||
Enhances | No Enhances | |||||||||||||
Files | ||||||||||||||
Component of | No Buildroots |