Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: python3-pycosat | Distribution: Fedora Project |
Version: 0.6.3 | Vendor: Fedora Project |
Release: 14.el9 | Build date: Tue Jan 11 04:24:32 2022 |
Group: Unspecified | Build host: buildvm-ppc64le-16.iad2.fedoraproject.org |
Size: 120384 | 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.
MIT
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jun 24 2020 Orion Poplawski <orion@nwra.com> - 0.6.3-12 - Add BR on python-setuptools * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-11 - Rebuilt for Python 3.9 * Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Oct 03 2019 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-9 - Rebuilt for Python 3.8.0rc1 (#1748018) * Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-8 - Rebuilt for Python 3.8 * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/ed /usr/lib/.build-id/ed/2e332008f230ba7a269ccdbef2ed4d15cfff10 /usr/lib64/python3.9/site-packages/__pycache__ /usr/lib64/python3.9/site-packages/__pycache__/test_pycosat.cpython-39.opt-1.pyc /usr/lib64/python3.9/site-packages/__pycache__/test_pycosat.cpython-39.pyc /usr/lib64/python3.9/site-packages/pycosat-0.6.3-py3.9.egg-info /usr/lib64/python3.9/site-packages/pycosat-0.6.3-py3.9.egg-info/PKG-INFO /usr/lib64/python3.9/site-packages/pycosat-0.6.3-py3.9.egg-info/SOURCES.txt /usr/lib64/python3.9/site-packages/pycosat-0.6.3-py3.9.egg-info/dependency_links.txt /usr/lib64/python3.9/site-packages/pycosat-0.6.3-py3.9.egg-info/top_level.txt /usr/lib64/python3.9/site-packages/pycosat.cpython-39-powerpc64le-linux-gnu.so /usr/lib64/python3.9/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, Wed Sep 11 06:33:13 2024