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-1.mga8 RPM for i586

From Mageia 8 for i586 / media / core / release

Name: python3-pycosat Distribution: Mageia
Version: 0.6.3 Vendor: Mageia.Org
Release: 1.mga8 Build date: Thu Jun 4 01:29:26 2020
Group: Development/Python Build host: localhost
Size: 66256 Source RPM: python-pycosat-0.6.3-1.mga8.src.rpm
Packager: joequant <joequant>
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

License

MIT

Changelog

* Thu Jun 04 2020 joequant <joequant> 0.6.3-1.mga8
  + Revision: 1590194
  - imported package python-pycosat

Files

/usr/lib/.build-id
/usr/lib/.build-id/74
/usr/lib/.build-id/74/62dfbd5e05f6c4e1fdba93ab853fb116974a40
/usr/lib/python3.8/site-packages/__pycache__
/usr/lib/python3.8/site-packages/__pycache__/test_pycosat.cpython-38.opt-1.pyc
/usr/lib/python3.8/site-packages/__pycache__/test_pycosat.cpython-38.pyc
/usr/lib/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info
/usr/lib/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/PKG-INFO
/usr/lib/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/SOURCES.txt
/usr/lib/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/dependency_links.txt
/usr/lib/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/top_level.txt
/usr/lib/python3.8/site-packages/pycosat.cpython-38-i386-linux-gnu.so
/usr/lib/python3.8/site-packages/test_pycosat.py
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/CHANGELOG
/usr/share/doc/python3-pycosat/README.rst
/usr/share/licenses/python3-pycosat
/usr/share/licenses/python3-pycosat/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 16:22:09 2024