openSUSE Leap 15.6 native package

python3-clingo

Python 3 bindings for Clingo

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

[Source: clingo]

Package: python3-clingo (5.5.0-150400.4.3.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.5.0-150400.4.3.3)
A grounder and solver for logic programs
dep: libclingo.so.4()(64bit)
Package not available
dep: python(abi) (= 3.6)
Package not available
dep: [python3-cffi]
Foreign Function Interface for Python calling C code
dep: libc.so.6(GLIBC_2.17)(64bit)
Package not available

Download python3-clingo

Architecture	Package Size	Installed Size	Files
aarch64	80 KiB	507 KiB	[list of files]
ppc64le	83 KiB	635 KiB	[list of files]
s390x	88 KiB	547 KiB	[list of files]
x86_64	91 KiB	515 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.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/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/_clingo.cpython-36m-aarch64-linux-gnu.so
/usr/lib64/python3.6/site-packages/clingo/_clingo.cpython-36m-powerpc64le-linux-gnu.so
/usr/lib64/python3.6/site-packages/clingo/_clingo.cpython-36m-s390x-linux-gnu.so
/usr/lib64/python3.6/site-packages/clingo/_clingo.cpython-36m-x86_64-linux-gnu.so
/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/__init__.py
/usr/lib64/python3.6/site-packages/clingo/_internal.py
/usr/lib64/python3.6/site-packages/clingo/__main__.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/symbolic_atoms.py
/usr/lib64/python3.6/site-packages/clingo/symbol.py
/usr/lib64/python3.6/site-packages/clingo/theory_atoms.py
/usr/lib64/python3.6/site-packages/clingo/theory.py
/usr/lib64/python3.6/site-packages/clingo/util.py

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

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 15.6 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.5.0-150400.4.3.3	leap-15.6 / oss	aarch64	openSUSE Leap 15.6 · OSS · multi-architecture	80 KiB	507 KiB	aarch64/python3-clingo-5.5.0-150400.4.3.3.aarch64.rpm
5.5.0-150400.4.3.3	leap-15.6 / oss	ppc64le	openSUSE Leap 15.6 · OSS · multi-architecture	83 KiB	635 KiB	ppc64le/python3-clingo-5.5.0-150400.4.3.3.ppc64le.rpm
5.5.0-150400.4.3.3	leap-15.6 / oss	s390x	openSUSE Leap 15.6 · OSS · multi-architecture	88 KiB	547 KiB	s390x/python3-clingo-5.5.0-150400.4.3.3.s390x.rpm
5.5.0-150400.4.3.3	leap-15.6 / oss	x86_64	openSUSE Leap 15.6 · OSS · multi-architecture	91 KiB	515 KiB	x86_64/python3-clingo-5.5.0-150400.4.3.3.x86_64.rpm

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

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.5.0-150400.4.3.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: bbcfb8885d4aeb59defb6b0022fa8705ec3fd3880ec04cacb54ddaf9ba0d77ebb0304355e2c98b19e833d99b69e37ab1c7e5129d15bee35a080e4224ad32eed2

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

5.5.0-150400.4.3.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: b86f136dd49071c2d626a5271fd5b20967a95314225244c52f26b4c41009606e0158fd2410d8992429ba285c1f678ce098a7a6c0f4e6b4319a6f0b8f74de21be

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

5.5.0-150400.4.3.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: 74f75b1060538915773fde2f5d492f3896ec54707db439611bab95bc5950b0a59c3df3cbaa586b3d6f31e8c115838f1e99fbeddbfe88c19a7dd54d0acebc5ee5

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

5.5.0-150400.4.3.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: 970f47d4b2f4e56e7d83b42b86325dfbf91b0504013820b4fd9b25fa8429fb8cc64c0ac9837c75c35a8fbe5a5d04fd808c301b26f8408f3ad8388161359e7214

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

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 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230. 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 15.6 OSSSep 1, 2026
Authoritative source; repository metadata signature verified, revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
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/15.6/repo/oss/repodata/repomd.xml
Signed-object SHA-256
ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
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