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-2.1 RPM for armv7hl

From OpenSuSE Ports Leap 15.4 for armv7hl

Name: python3-clingo Distribution: openSUSE Step 15
Version: 5.5.0 Vendor: openSUSE
Release: 2.1 Build date: Sat Feb 5 18:05:27 2022
Group: Development/Tools/Other Build host: obs-arm-6
Size: 470739 Source RPM: clingo-5.5.0-2.1.src.rpm
Packager: https://bugs.opensuse.org
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/lib/python3.6/site-packages/clingo
/usr/lib/python3.6/site-packages/clingo-5.5.0.dist-info
/usr/lib/python3.6/site-packages/clingo-5.5.0.dist-info/INSTALLER
/usr/lib/python3.6/site-packages/clingo-5.5.0.dist-info/METADATA
/usr/lib/python3.6/site-packages/clingo/__init__.py
/usr/lib/python3.6/site-packages/clingo/__main__.py
/usr/lib/python3.6/site-packages/clingo/_clingo.cpython-36m-arm-linux-gnueabihf.so
/usr/lib/python3.6/site-packages/clingo/_internal.py
/usr/lib/python3.6/site-packages/clingo/application.py
/usr/lib/python3.6/site-packages/clingo/ast.py
/usr/lib/python3.6/site-packages/clingo/backend.py
/usr/lib/python3.6/site-packages/clingo/configuration.py
/usr/lib/python3.6/site-packages/clingo/control.py
/usr/lib/python3.6/site-packages/clingo/core.py
/usr/lib/python3.6/site-packages/clingo/propagator.py
/usr/lib/python3.6/site-packages/clingo/script.py
/usr/lib/python3.6/site-packages/clingo/solving.py
/usr/lib/python3.6/site-packages/clingo/statistics.py
/usr/lib/python3.6/site-packages/clingo/symbol.py
/usr/lib/python3.6/site-packages/clingo/symbolic_atoms.py
/usr/lib/python3.6/site-packages/clingo/theory.py
/usr/lib/python3.6/site-packages/clingo/theory_atoms.py
/usr/lib/python3.6/site-packages/clingo/util.py

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 18:39:40 2024