| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: python3-clingo | Distribution: Fedora Project |
| Version: 5.8.0 | Vendor: Fedora Project |
| Release: 9.fc45 | Build date: Fri Apr 17 02:24:23 2026 |
| Group: Unspecified | Build host: buildvm-a64-20.rdu3.fedoraproject.org |
| Size: 1204802 | Source RPM: clingo-5.8.0-9.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://potassco.org/clingo/ | |
| Summary: Python 3 bindings for Clingo | |
This module provides functions and classes to work with ground terms and to control the instantiation process. In clingo builts, additional functions to control and inspect the solving process are available. Functions defined in a python script block are callable during the instantiation process using @-syntax. The default grounding/solving process can be customized if a main function is provided. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/
MIT
* Fri Apr 17 2026 Tom spot Callaway <spotaws@amazon.com> - 5.8.0-9 - rebuild * Fri Feb 27 2026 Tom spot Callaway <spotaws@amazon.com> - 5.8.0-8 - lua 5.5 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 5.8.0-5 - Rebuilt for Python 3.14.0rc3 bytecode * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 5.8.0-4 - Rebuilt for Python 3.14.0rc2 bytecode * Sun Aug 10 2025 Till Hofmann <thofmann@fedoraproject.org> - 5.8.0-3 - Consistently use standard %cmake_* macros * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu Jul 03 2025 Till Hofmann <thofmann@fedoraproject.org> - 5.8.0-1 - Update to 5.8.0 * Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 5.7.1-3 - Rebuilt for Python 3.14 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Sun Aug 11 2024 Till Hofmann <thofmann@fedoraproject.org> - 5.7.1-1 - Update to 5.7.1 * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-10 - Rebuilt for Python 3.13 * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-9 - Rebuilt for Python 3.13
/usr/lib/.build-id /usr/lib/.build-id/b2 /usr/lib/.build-id/b2/a0bb4d4659ca129074e5be377c9b81613386f4 /usr/lib64/python3.14/site-packages/clingo /usr/lib64/python3.14/site-packages/clingo-5.8.0.dist-info /usr/lib64/python3.14/site-packages/clingo-5.8.0.dist-info/INSTALLER /usr/lib64/python3.14/site-packages/clingo-5.8.0.dist-info/METADATA /usr/lib64/python3.14/site-packages/clingo/__init__.py /usr/lib64/python3.14/site-packages/clingo/__main__.py /usr/lib64/python3.14/site-packages/clingo/__pycache__ /usr/lib64/python3.14/site-packages/clingo/__pycache__/__init__.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/__init__.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/__main__.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/__main__.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/_internal.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/_internal.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/application.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/application.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/ast.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/ast.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/backend.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/backend.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/configuration.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/configuration.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/control.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/control.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/core.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/core.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/propagator.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/propagator.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/script.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/script.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/solving.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/solving.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/statistics.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/statistics.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/symbol.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/symbol.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/symbolic_atoms.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/symbolic_atoms.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/theory.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/theory.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/theory_atoms.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/theory_atoms.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/util.cpython-314.opt-1.pyc /usr/lib64/python3.14/site-packages/clingo/__pycache__/util.cpython-314.pyc /usr/lib64/python3.14/site-packages/clingo/_clingo.cpython-314-aarch64-linux-gnu.so /usr/lib64/python3.14/site-packages/clingo/_internal.py /usr/lib64/python3.14/site-packages/clingo/application.py /usr/lib64/python3.14/site-packages/clingo/ast.py /usr/lib64/python3.14/site-packages/clingo/backend.py /usr/lib64/python3.14/site-packages/clingo/configuration.py /usr/lib64/python3.14/site-packages/clingo/control.py /usr/lib64/python3.14/site-packages/clingo/core.py /usr/lib64/python3.14/site-packages/clingo/propagator.py /usr/lib64/python3.14/site-packages/clingo/py.typed /usr/lib64/python3.14/site-packages/clingo/script.py /usr/lib64/python3.14/site-packages/clingo/solving.py /usr/lib64/python3.14/site-packages/clingo/statistics.py /usr/lib64/python3.14/site-packages/clingo/symbol.py /usr/lib64/python3.14/site-packages/clingo/symbolic_atoms.py /usr/lib64/python3.14/site-packages/clingo/theory.py /usr/lib64/python3.14/site-packages/clingo/theory_atoms.py /usr/lib64/python3.14/site-packages/clingo/util.py
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Apr 17 23:18:29 2026