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

python3-clingo-5.6.1-1.fc37 RPM for s390x

From Fedora 37 for s390x / p

Name: python3-clingo Distribution: Fedora Project
Version: 5.6.1 Vendor: Fedora Project
Release: 1.fc37 Build date: Sun Sep 18 14:07:58 2022
Group: Unspecified Build host: buildvm-s390x-27.s390.fedoraproject.org
Size: 1154983 Source RPM: clingo-5.6.1-1.fc37.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

* Sun Sep 18 2022 Till Hofmann <thofmann@fedoraproject.org> 5.6.1-1
  - Update to 5.6.1
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> 5.5.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> 5.5.2-2
  - Rebuilt for Python 3.11
* Sun May 08 2022 Till Hofmann <thofmann@fedoraproject.org> 5.5.2-1
  - Update to 5.5.2
* Tue Apr 12 2022 Till Hofmann <thofmann@fedoraproject.org> - 5.5.1-1
  - Update to 5.5.1
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.5.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Nov 09 2021 Michael Kuhn <suraia@fedoraproject.org> - 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 <releng@fedoraproject.org> - 5.4.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 5.4.1-2
  - Rebuilt for Python 3.10
* Sun Mar 07 2021 Till Hofmann <thofmann@fedoraproject.org> - 5.4.1-1
  - Update to 5.4.1
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.4.0-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/0531dd0e27791304699e01a022cc5be270b4b2
/usr/lib64/python3.11/site-packages/clingo
/usr/lib64/python3.11/site-packages/clingo-5.6.1.dist-info
/usr/lib64/python3.11/site-packages/clingo-5.6.1.dist-info/INSTALLER
/usr/lib64/python3.11/site-packages/clingo-5.6.1.dist-info/METADATA
/usr/lib64/python3.11/site-packages/clingo/__init__.py
/usr/lib64/python3.11/site-packages/clingo/__main__.py
/usr/lib64/python3.11/site-packages/clingo/__pycache__
/usr/lib64/python3.11/site-packages/clingo/__pycache__/__init__.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/__init__.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/__main__.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/__main__.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/_internal.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/_internal.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/application.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/application.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/ast.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/ast.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/backend.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/backend.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/configuration.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/configuration.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/control.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/control.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/core.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/core.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/propagator.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/propagator.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/script.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/script.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/solving.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/solving.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/statistics.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/statistics.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/symbol.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/symbol.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/symbolic_atoms.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/symbolic_atoms.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/theory.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/theory.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/theory_atoms.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/theory_atoms.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/util.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/clingo/__pycache__/util.cpython-311.pyc
/usr/lib64/python3.11/site-packages/clingo/_clingo.cpython-311-s390x-linux-gnu.so
/usr/lib64/python3.11/site-packages/clingo/_internal.py
/usr/lib64/python3.11/site-packages/clingo/application.py
/usr/lib64/python3.11/site-packages/clingo/ast.py
/usr/lib64/python3.11/site-packages/clingo/backend.py
/usr/lib64/python3.11/site-packages/clingo/configuration.py
/usr/lib64/python3.11/site-packages/clingo/control.py
/usr/lib64/python3.11/site-packages/clingo/core.py
/usr/lib64/python3.11/site-packages/clingo/propagator.py
/usr/lib64/python3.11/site-packages/clingo/py.typed
/usr/lib64/python3.11/site-packages/clingo/script.py
/usr/lib64/python3.11/site-packages/clingo/solving.py
/usr/lib64/python3.11/site-packages/clingo/statistics.py
/usr/lib64/python3.11/site-packages/clingo/symbol.py
/usr/lib64/python3.11/site-packages/clingo/symbolic_atoms.py
/usr/lib64/python3.11/site-packages/clingo/theory.py
/usr/lib64/python3.11/site-packages/clingo/theory_atoms.py
/usr/lib64/python3.11/site-packages/clingo/util.py

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 21:25:34 2024