| 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.6 | Vendor: Fedora Project |
| Release: 13.fc45 | Build date: Wed Jun 3 21:05:23 2026 |
| Group: Unspecified | Build host: buildvm-ppc64le-16.rdu3.fedoraproject.org |
| Size: 83442 | Source RPM: python-pycosat-0.6.6-13.fc45.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 Jun 03 2026 Python Maint <python-maint@redhat.com> - 0.6.6-13 - Rebuilt for Python 3.15 * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 0.6.6-11 - Stop building for 32-bit x86 * Tue Jul 29 2025 Orion Poplawski <orion@nwra.com> - 0.6.6-10 - Use pyproject macros (rhbz#2378025) * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Mon Jun 02 2025 Python Maint <python-maint@redhat.com> - 0.6.6-7 - Rebuilt for Python 3.14 * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 0.6.6-4 - Rebuilt for Python 3.13
/usr/lib/.build-id /usr/lib/.build-id/77 /usr/lib/.build-id/77/336bb7da3364d0fc4c69ee7313d6cdbcb85b6d /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/INSTALLER /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/METADATA /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/WHEEL /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/licenses /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/licenses/AUTHORS.md /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/licenses/LICENSE /usr/lib64/python3.15/site-packages/pycosat-0.6.6.dist-info/top_level.txt /usr/lib64/python3.15/site-packages/pycosat.cpython-315-powerpc64le-linux-gnu.so /usr/share/doc/python3-pycosat /usr/share/doc/python3-pycosat/AUTHORS.md /usr/share/doc/python3-pycosat/CHANGELOG.md /usr/share/doc/python3-pycosat/README.rst
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jun 9 00:02:29 2026