| ID | 148531 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | python-pycosat-0.6.6-3.fc40 | ||||||||
| Name | python-pycosat | ||||||||
| Version | 0.6.6 | ||||||||
| Release | 3.fc40 | ||||||||
| Epoch | |||||||||
| Arch | src | ||||||||
| 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 | 2024-05-04 08:49:42 GMT | ||||||||
| Size | 95.76 KB | ||||||||
| e53d42b46221645efeb6f91591e50efb | |||||||||
| License | MIT | ||||||||
| Buildroot | f40-build-122954-6766 | ||||||||
| 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 | ||||||||
