Linux workstation

openSUSE Tumbleweed native package

python3-clingo

Python 3 bindings for Clingo

Packages / openSUSE Tumbleweed / Development/Tools/Other / python3-clingo

[Source: clingo]

Package: python3-clingo (5.8.0-2.4)

External Resources:

Homepage: [potassco.org]

Similar packages:

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.8.0-2.4)

    邏輯程式的接地器與求解器

  • 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.2.5)(64bit)

    Package not available

Download python3-clingo

ArchitecturePackage SizeInstalled SizeFiles
x86_64106 KiB586 KiB[list of files]

Package file paths (23)

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.8.0.dist-info
  • /usr/lib64/python3.13/site-packages/clingo-5.8.0.dist-info/INSTALLER
  • /usr/lib64/python3.13/site-packages/clingo-5.8.0.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-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 Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

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 Tumbleweed in the browserBuild 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.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
5.8.0-2.4tumbleweed / ossx86_64openSUSE Tumbleweed · OSS · multi-architecture106 KiB586 KiBx86_64/python3-clingo-5.8.0-2.4.x86_64.rpm

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

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.

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 Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f. 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 Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    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 SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    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