Package : python-pycosat > RPM : python-pycosat-0.6.3-3.mga9.src.rpm
Basic items
| Name | python-pycosat |
| Version | 0.6.3 |
| Release | 3.mga9 |
| URL | https://github.com/ContinuumIO/pycosat |
| Group | Development/Python |
| Summary | Python bindings to picosat (a SAT solver) |
| Size | 62KB |
| Arch | armv7hl |
| License | MIT |
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.
Media information
| Distribution release | Mageia 9 |
| Media name | core-release |
| Media arch | i586 |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2022-03-19 01:38:14 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |