openSUSE Leap 16.0 native package

python3-clingo

Python 3 bindings for Clingo

Packages / openSUSE Leap 16.0 / Development/Tools/Other / python3-clingo

[Source: clingo]

Package: python3-clingo (5.6.2-bp160.1.3)

External Resources:

Homepage: [potassco.org]

Similar packages:

[clingo]
A grounder and solver for logic programs
[clingo-devel]
Development files for clingo
[libclingo4]
Libraries file(s) for clingo
[lua-clingo]
Lua bindings for Clingo

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/

Other Packages Related to python3-clingo:

dep: [clingo] (= 5.6.2-bp160.1.3)
A grounder and solver for logic programs
dep: libclingo.so.4()(64bit)
Package not available
dep: python(abi) (= 3.13)
Package not available
dep: python3-cffi
Package not available
dep: libc.so.6(GLIBC_2.17)(64bit)
Package not available

Download python3-clingo

Architecture	Package Size	Installed Size	Files
aarch64	94 KiB	587 KiB	[list of files]
ppc64le	98 KiB	715 KiB	[list of files]
s390x	101 KiB	591 KiB	[list of files]
x86_64	101 KiB	559 KiB	[list of files]

Package file paths (26)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/lib64/python3.13/site-packages/clingo
/usr/lib64/python3.13/site-packages/clingo-5.6.2.dist-info
/usr/lib64/python3.13/site-packages/clingo-5.6.2.dist-info/INSTALLER
/usr/lib64/python3.13/site-packages/clingo-5.6.2.dist-info/METADATA
/usr/lib64/python3.13/site-packages/clingo/application.py
/usr/lib64/python3.13/site-packages/clingo/ast.py
/usr/lib64/python3.13/site-packages/clingo/backend.py
/usr/lib64/python3.13/site-packages/clingo/_clingo.cpython-313-aarch64-linux-gnu.so
/usr/lib64/python3.13/site-packages/clingo/_clingo.cpython-313-powerpc64le-linux-gnu.so
/usr/lib64/python3.13/site-packages/clingo/_clingo.cpython-313-s390x-linux-gnu.so
/usr/lib64/python3.13/site-packages/clingo/_clingo.cpython-313-x86_64-linux-gnu.so
/usr/lib64/python3.13/site-packages/clingo/configuration.py
/usr/lib64/python3.13/site-packages/clingo/control.py
/usr/lib64/python3.13/site-packages/clingo/core.py
/usr/lib64/python3.13/site-packages/clingo/__init__.py
/usr/lib64/python3.13/site-packages/clingo/_internal.py
/usr/lib64/python3.13/site-packages/clingo/__main__.py
/usr/lib64/python3.13/site-packages/clingo/propagator.py
/usr/lib64/python3.13/site-packages/clingo/script.py
/usr/lib64/python3.13/site-packages/clingo/solving.py
/usr/lib64/python3.13/site-packages/clingo/statistics.py
/usr/lib64/python3.13/site-packages/clingo/symbolic_atoms.py
/usr/lib64/python3.13/site-packages/clingo/symbol.py
/usr/lib64/python3.13/site-packages/clingo/theory_atoms.py
/usr/lib64/python3.13/site-packages/clingo/theory.py
/usr/lib64/python3.13/site-packages/clingo/util.py

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 16.0 in the browser Build an image that includes python3-clingo

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
5.6.2-bp160.1.3	leap-16.0 / oss	aarch64	openSUSE Leap 16.0 · OSS · multi-architecture	94 KiB	587 KiB	aarch64/python3-clingo-5.6.2-bp160.1.3.aarch64.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	ppc64le	openSUSE Leap 16.0 · OSS · multi-architecture	98 KiB	715 KiB	ppc64le/python3-clingo-5.6.2-bp160.1.3.ppc64le.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	s390x	openSUSE Leap 16.0 · OSS · multi-architecture	101 KiB	591 KiB	s390x/python3-clingo-5.6.2-bp160.1.3.s390x.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	x86_64	openSUSE Leap 16.0 · OSS · multi-architecture	101 KiB	559 KiB	x86_64/python3-clingo-5.6.2-bp160.1.3.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Checksums and observation dates

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

5.6.2-bp160.1.3 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 7061da910c33ed6dc5942489695791c8ebb519c7a71f65cff585613304b70a5dc9da59cacb7865dc009c9749ff423321326e0c0fdbeb9986a23bd3a1701fa8ef

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / ppc64leObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 4901fd03719350226716d6cde0a7446bdedeca69dc534402a98b5e82cabdddb296fe24af22f119801e4d338e43a2a8e661974bcaed476c53b2ee99248fd5d548

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / s390xObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: f1f957f5adac2e0853d90f2c077ca28100085833ffcb48445fa6a54fb8b77d361a420542dd8000f67823b8686534ed8c4b82ee19816f053f49c6348331e6d092

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: a0a395849031470cb979b3dfd4521ee5a5185ca47949cdf6c0ae710ad9c76fd7b8865ee6e7a9d19f352d044a36cddeb91851d3c35c40f6d3aee7e1a9d23e72d6

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Catalog record completeness

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

openSUSE Leap 16.0 OSSSep 1, 2026
Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/16.0/repo/oss/repodata/repomd.xml
Signed-object SHA-256
271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Signer fingerprint
AD485664E901B867051AB15F35A2F86E29B700A4
Keyring revision
opensuse-project-signing-key.asc
SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified