SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

python3-clingo rpm build for : openSUSE Leap 15. For other distributions click python3-clingo.

Name : python3-clingo
Version : 5.5.0 Vendor : SUSE LLC < https://www_suse_com/>
Release : 150400.2.5 Date : 2022-05-07 23:47:48
Group : Development/Tools/Other Source RPM : clingo-5.5.0-150400.2.5.src.rpm
Size : 0.50 MB
Packager : https://www_suse_com/
Summary : Python 3 bindings for Clingo
Description :
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 AATT-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/

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Leap:/15.5:/ToTest/images/repo/openSUSE-Leap-15.5-x86_64-aarch64-ppc64le-s390x-Media1/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  python3-clingo-5.5.0-150400.2.5.x86_64.rpm
     

Provides :
python3-clingo
python3-clingo(x86-64)

Requires :
clingo = 5.5.0-150400.2.5
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libclingo.so.4()(64bit)
python(abi) = 3.6
python3-cffi
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/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

 
ICM