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.2.5 RPM for x86_64

From OpenSuSE Leap 15.5 for x86_64

Name: python3-clingo Distribution: SUSE Linux Enterprise 15
Version: 5.5.0 Vendor: SUSE LLC <https://www.suse.com/>
Release: 150400.2.5 Build date: Sat May 7 23:47:48 2022
Group: Development/Tools/Other Build host: sheep05
Size: 527403 Source RPM: clingo-5.5.0-150400.2.5.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

* 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-x86_64-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, Sun Mar 9 13:28:21 2025