Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

python3-pycosat-0.6.3-14.el9 RPM for s390x

From EPEL 9 for s390x / Packages / p

Name: python3-pycosat Distribution: Fedora Project
Version: 0.6.3 Vendor: Fedora Project
Release: 14.el9 Build date: Tue Jan 11 04:22:43 2022
Group: Unspecified Build host: buildvm-s390x-02.s390.fedoraproject.org
Size: 67066 Source RPM: python-pycosat-0.6.3-14.el9.src.rpm
Packager: Fedora Project
Url: https://github.com/ContinuumIO/pycosat
Summary: Python bindings to picosat (a SAT solver)
 
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.

Provides

Requires