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

python3-clingo-5.5.0-150400.4.3.3 RPM for ppc64le

From OpenSuSE Leap 15.6 for ppc64le

Name: python3-clingo Distribution: SUSE Linux Enterprise 15
Version: 5.5.0 Vendor: SUSE LLC <https://www.suse.com/>
Release: 150400.4.3.3 Build date: Thu Jun 22 08:41:51 2023
Group: Development/Tools/Other Build host: nebbiolo
Size: 650123 Source RPM: clingo-5.5.0-150400.4.3.3.src.rpm
Packager: https://www.suse.com/
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

* Wed Jun 21 2023 eich@suse.com
  - Fix python-cffi dependency in python-clingo (bsc#1212554).
* Tue Dec 14 2021 cgoll@suse.com
  - added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 aginies@suse.com
  - create a sub lib package
* Wed Sep 29 2021 aginies@suse.com
  - fix some build errors, remove unwanted files
  - update to version 5.5.0
  - clingo is used by default for spack version >= 0.17 (JSC#SLE-22137)
* Wed Sep 29 2021 aginies@suse.com
  - first release for SUSE (from fedora spec)

Files

/usr/lib64/python3.6/site-packages/clingo
/usr/lib64/python3.6/site-packages/clingo-5.5.0.dist-info
/usr/lib64/python3.6/site-packages/clingo-5.5.0.dist-info/INSTALLER
/usr/lib64/python3.6/site-packages/clingo-5.5.0.dist-info/METADATA
/usr/lib64/python3.6/site-packages/clingo/__init__.py
/usr/lib64/python3.6/site-packages/clingo/__main__.py
/usr/lib64/python3.6/site-packages/clingo/_clingo.cpython-36m-powerpc64le-linux-gnu.so
/usr/lib64/python3.6/site-packages/clingo/_internal.py
/usr/lib64/python3.6/site-packages/clingo/application.py
/usr/lib64/python3.6/site-packages/clingo/ast.py
/usr/lib64/python3.6/site-packages/clingo/backend.py
/usr/lib64/python3.6/site-packages/clingo/configuration.py
/usr/lib64/python3.6/site-packages/clingo/control.py
/usr/lib64/python3.6/site-packages/clingo/core.py
/usr/lib64/python3.6/site-packages/clingo/propagator.py
/usr/lib64/python3.6/site-packages/clingo/script.py
/usr/lib64/python3.6/site-packages/clingo/solving.py
/usr/lib64/python3.6/site-packages/clingo/statistics.py
/usr/lib64/python3.6/site-packages/clingo/symbol.py
/usr/lib64/python3.6/site-packages/clingo/symbolic_atoms.py
/usr/lib64/python3.6/site-packages/clingo/theory.py
/usr/lib64/python3.6/site-packages/clingo/theory_atoms.py
/usr/lib64/python3.6/site-packages/clingo/util.py

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 26 23:22:11 2024