Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

python3-clingo-5.8.0-1.fc43 RPM for s390x

From Fedora Rawhide for s390x / p

Name: python3-clingo Distribution: Fedora Project
Version: 5.8.0 Vendor: Fedora Project
Release: 1.fc43 Build date: Thu Jul 3 20:03:35 2025
Group: Unspecified Build host: buildvm-s390x-04.s390.fedoraproject.org
Size: 1196376 Source RPM: clingo-5.8.0-1.fc43.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/

Provides

Requires

License

MIT

Changelog

* 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
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/9c3f37a49b519403e6d1abed662d1c75d5533b
/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-s390x-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, Tue Jul 8 02:04:19 2025