Linux workstation

openSUSE Leap 16.0 native package

clingo

A grounder and solver for logic programs

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

[Source: clingo]

Package: clingo (5.6.2-bp160.1.3)

External Resources:

Homepage: [potassco.org]

Similar packages:

A grounder and solver for logic programs

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.

Other Packages Related to clingo:

  • dep: libclingo.so.4()(64bit)

    Package not available

  • dep: libgcc_s.so.1()(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.0)(64bit)

    Package not available

  • dep: liblua5.4.so.5()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libpython3.13.so.1.0()(64bit)

    Package not available

  • dep: libstdc++.so.6()(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)

    Package not available

  • dep: libc.so.6(GLIBC_2.38)(64bit)

    Package not available

Download clingo

ArchitecturePackage SizeInstalled SizeFiles
aarch64729 KiB2.7 MiB[list of files]
ppc64le849 KiB3.7 MiB[list of files]
s390x826 KiB3.1 MiB[list of files]
x86_64764 KiB2.8 MiB[list of files]

Package file paths (10)

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/bin/clasp
  • /usr/bin/clingo
  • /usr/bin/gringo
  • /usr/bin/lpconvert
  • /usr/bin/reify
  • /usr/share/doc/packages/clingo
  • /usr/share/doc/packages/clingo/INSTALL.md
  • /usr/share/doc/packages/clingo/README.md
  • /usr/share/licenses/clingo
  • /usr/share/licenses/clingo/LICENSE.md

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 browserBuild an image that includes 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.6.2-bp160.1.3leap-16.0 / ossaarch64openSUSE Leap 16.0 · OSS · multi-architecture729 KiB2.7 MiBaarch64/clingo-5.6.2-bp160.1.3.aarch64.rpm
5.6.2-bp160.1.3leap-16.0 / ossppc64leopenSUSE Leap 16.0 · OSS · multi-architecture849 KiB3.7 MiBppc64le/clingo-5.6.2-bp160.1.3.ppc64le.rpm
5.6.2-bp160.1.3leap-16.0 / osss390xopenSUSE Leap 16.0 · OSS · multi-architecture826 KiB3.1 MiBs390x/clingo-5.6.2-bp160.1.3.s390x.rpm
5.6.2-bp160.1.3leap-16.0 / ossx86_64openSUSE Leap 16.0 · OSS · multi-architecture764 KiB2.8 MiBx86_64/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: f2a0e902fb4866d125f2c04396e2e84f00d2bca1f42c5eaed2dde5f69f8dfba69c4a07c4c699b121c10fde240cec2fe0389ffdf1a6f0e9e9641ac9b3bc22eb37

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: dcec36029cf0176dfac806b87d033f23afe52727516605440ee2cef2711fba89f5d5b87b4e9367397412ab11b5e3a66bc1de4d376012a8cdc1684917444d0ad9

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: 48613032c2fd34b84e6e10fb6ec419f07e9dce7d4e1df26a4cf79d289e32c4996698527965bbcdba855aba2df213daf291b33086f7c05e555b82ac2d5e692701

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 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

clingo Package for openSUSE Leap 16.0 | OpenFactory