Package : python-pycosat > RPM : python-pycosat-0.6.6-1.mga10.src.rpm
Basic items
Name | python-pycosat |
Version | 0.6.6 |
Release | 1.mga10 |
URL | https://github.com/ContinuumIO/pycosat |
Group | Development/Python |
Summary | Python bindings to picosat (a SAT solver) |
Size | 83KB |
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 cauldron |
Media name | core-release |
Media arch | x86_64 |
Advanced items
Source RPM | NOT IN DATABASE ?! |
Build time | 2023-12-18 13:45:06 |
Changelog | View in Sophie |
Files | View in Sophie |
Dependencies | View in Sophie |