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 x86_64

From Mageia 8 for x86_64 / 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:46 2020
Group: Development/Python Build host: localhost
Size: 71520 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/4e
/usr/lib/.build-id/4e/5b0bb46c5d15770ebcf9e06b7e54df2af832c5
/usr/lib64/python3.8/site-packages/__pycache__
/usr/lib64/python3.8/site-packages/__pycache__/test_pycosat.cpython-38.opt-1.pyc
/usr/lib64/python3.8/site-packages/__pycache__/test_pycosat.cpython-38.pyc
/usr/lib64/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info
/usr/lib64/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/PKG-INFO
/usr/lib64/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/SOURCES.txt
/usr/lib64/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/dependency_links.txt
/usr/lib64/python3.8/site-packages/pycosat-0.6.3-py3.8.egg-info/top_level.txt
/usr/lib64/python3.8/site-packages/pycosat.cpython-38-x86_64-linux-gnu.so
/usr/lib64/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 15:38:33 2024