| 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.6.2 | Vendor: Fedora Project |
| Release: 6.fc39 | Build date: Wed Jul 19 18:06:11 2023 |
| Group: Unspecified | Build host: buildvm-ppc64le-22.iad2.fedoraproject.org |
| Size: 1269527 | Source RPM: clingo-5.6.2-6.fc39.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
* 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 * Wed Jul 20 2022 Fedora Release Engineering <[email protected]> - 5.5.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 13 2022 Python Maint <[email protected]> - 5.5.2-2 - Rebuilt for Python 3.11 * Sun May 08 2022 Till Hofmann <[email protected]> - 5.5.2-1 - Update to 5.5.2 * Tue Apr 12 2022 Till Hofmann <[email protected]> - 5.5.1-1 - Update to 5.5.1 * Wed Jan 19 2022 Fedora Release Engineering <[email protected]> - 5.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Nov 09 2021 Michael Kuhn <[email protected]> - 5.5.0-1 - Update to 5.5.0 - Clingo does not ship shared libraries for Lua and Python anymore * Wed Jul 21 2021 Fedora Release Engineering <[email protected]> - 5.4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/56 /usr/lib/.build-id/56/38dd5ec8c0678525c73cb1a3196ed6c8a48343 /usr/lib64/python3.12/site-packages/clingo /usr/lib64/python3.12/site-packages/clingo-5.6.2.dist-info /usr/lib64/python3.12/site-packages/clingo-5.6.2.dist-info/INSTALLER /usr/lib64/python3.12/site-packages/clingo-5.6.2.dist-info/METADATA /usr/lib64/python3.12/site-packages/clingo/__init__.py /usr/lib64/python3.12/site-packages/clingo/__main__.py /usr/lib64/python3.12/site-packages/clingo/__pycache__ /usr/lib64/python3.12/site-packages/clingo/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/__init__.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/__main__.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/__main__.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/_internal.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/_internal.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/application.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/application.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/ast.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/ast.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/backend.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/backend.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/configuration.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/configuration.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/control.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/control.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/core.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/core.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/propagator.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/propagator.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/script.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/script.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/solving.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/solving.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/statistics.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/statistics.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/symbol.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/symbol.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/symbolic_atoms.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/symbolic_atoms.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/theory.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/theory.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/theory_atoms.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/theory_atoms.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/util.cpython-312.opt-1.pyc /usr/lib64/python3.12/site-packages/clingo/__pycache__/util.cpython-312.pyc /usr/lib64/python3.12/site-packages/clingo/_clingo.cpython-312-powerpc64le-linux-gnu.so /usr/lib64/python3.12/site-packages/clingo/_internal.py /usr/lib64/python3.12/site-packages/clingo/application.py /usr/lib64/python3.12/site-packages/clingo/ast.py /usr/lib64/python3.12/site-packages/clingo/backend.py /usr/lib64/python3.12/site-packages/clingo/configuration.py /usr/lib64/python3.12/site-packages/clingo/control.py /usr/lib64/python3.12/site-packages/clingo/core.py /usr/lib64/python3.12/site-packages/clingo/propagator.py /usr/lib64/python3.12/site-packages/clingo/py.typed /usr/lib64/python3.12/site-packages/clingo/script.py /usr/lib64/python3.12/site-packages/clingo/solving.py /usr/lib64/python3.12/site-packages/clingo/statistics.py /usr/lib64/python3.12/site-packages/clingo/symbol.py /usr/lib64/python3.12/site-packages/clingo/symbolic_atoms.py /usr/lib64/python3.12/site-packages/clingo/theory.py /usr/lib64/python3.12/site-packages/clingo/theory_atoms.py /usr/lib64/python3.12/site-packages/clingo/util.py
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 22:23:46 2024