| 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.7.1 | Vendor: Fedora Project |
| Release: 1.fc41 | Build date: Sun Aug 11 15:27:04 2024 |
| Group: Unspecified | Build host: buildvm-ppc64le-05.iad2.fedoraproject.org |
| Size: 1277326 | Source RPM: clingo-5.7.1-1.fc41.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
* Sun Aug 11 2024 Till Hofmann <[email protected]> - 5.7.1-1 - Update to 5.7.1 * Wed Jul 17 2024 Fedora Release Engineering <[email protected]> - 5.6.2-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Fri Jun 07 2024 Python Maint <[email protected]> - 5.6.2-10 - Rebuilt for Python 3.13 * Fri Jun 07 2024 Python Maint <[email protected]> - 5.6.2-9 - Rebuilt for Python 3.13 * Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 5.6.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <[email protected]> - 5.6.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 5.6.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Jun 14 2023 Python Maint <[email protected]> - 5.6.2-5 - Rebuilt for Python 3.12 * Sat May 13 2023 Till Hofmann <[email protected]> - 5.6.2-4 - BR python3-setuptools for python3.12 * Sun Mar 12 2023 Till Hofmann <[email protected]> - 5.6.2-3 - Switch to SPDX MIT license * Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 5.6.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 12 2022 Till Hofmann <[email protected]> - 5.6.2-1 - Update to 5.6.2 * Sun Sep 18 2022 Till Hofmann <[email protected]> - 5.6.1-1 - Update to 5.6.1
/usr/lib/.build-id /usr/lib/.build-id/33 /usr/lib/.build-id/33/ac6eb9470ef006320aae8012c88adf2b802c66 /usr/lib64/python3.13/site-packages/clingo /usr/lib64/python3.13/site-packages/clingo-5.7.1.dist-info /usr/lib64/python3.13/site-packages/clingo-5.7.1.dist-info/INSTALLER /usr/lib64/python3.13/site-packages/clingo-5.7.1.dist-info/METADATA /usr/lib64/python3.13/site-packages/clingo/__init__.py /usr/lib64/python3.13/site-packages/clingo/__main__.py /usr/lib64/python3.13/site-packages/clingo/__pycache__ /usr/lib64/python3.13/site-packages/clingo/__pycache__/__init__.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/__init__.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/__main__.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/__main__.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/_internal.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/_internal.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/application.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/application.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/ast.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/ast.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/backend.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/backend.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/configuration.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/configuration.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/control.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/control.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/core.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/core.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/propagator.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/propagator.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/script.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/script.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/solving.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/solving.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/statistics.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/statistics.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/symbol.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/symbol.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/symbolic_atoms.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/symbolic_atoms.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/theory.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/theory.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/theory_atoms.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/theory_atoms.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/util.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/clingo/__pycache__/util.cpython-313.pyc /usr/lib64/python3.13/site-packages/clingo/_clingo.cpython-313-powerpc64le-linux-gnu.so /usr/lib64/python3.13/site-packages/clingo/_internal.py /usr/lib64/python3.13/site-packages/clingo/application.py /usr/lib64/python3.13/site-packages/clingo/ast.py /usr/lib64/python3.13/site-packages/clingo/backend.py /usr/lib64/python3.13/site-packages/clingo/configuration.py /usr/lib64/python3.13/site-packages/clingo/control.py /usr/lib64/python3.13/site-packages/clingo/core.py /usr/lib64/python3.13/site-packages/clingo/propagator.py /usr/lib64/python3.13/site-packages/clingo/py.typed /usr/lib64/python3.13/site-packages/clingo/script.py /usr/lib64/python3.13/site-packages/clingo/solving.py /usr/lib64/python3.13/site-packages/clingo/statistics.py /usr/lib64/python3.13/site-packages/clingo/symbol.py /usr/lib64/python3.13/site-packages/clingo/symbolic_atoms.py /usr/lib64/python3.13/site-packages/clingo/theory.py /usr/lib64/python3.13/site-packages/clingo/theory_atoms.py /usr/lib64/python3.13/site-packages/clingo/util.py
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 05:57:41 2024