Package : python-pycosat > RPM : python-pycosat-0.6.3-1.mga8.src.rpm
Basic items
| Name | python-pycosat |
| Version | 0.6.3 |
| Release | 1.mga8 |
| URL | https://github.com/ContinuumIO/pycosat |
| Group | Development/Python |
| Summary | Python bindings to picosat (a SAT solver) |
| Size | 62KB |
| Arch | aarch64 |
| 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 8 |
| Media name | core-release |
| Media arch | aarch64 |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2020-06-04 01:31:07 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |