Fedora 43 native package

clingo

Граундер і солвер для логічних програм

Packages / Fedora 43 / Unspecified / clingo

[Source: clingo]

Package: clingo (5.8.2-1.fc43)

[Project overview: clingo]

External Resources:

Homepage: [potassco.org]

Similar packages:

[clingo-devel]
Файли розробки для clingo
[lua-clingo]
Прив’язки Lua для Clingo
[python3-clingo]
Прив’язки Python 3 для Clingo

Граундер і солвер для логічних програм

Clingo є частиною проєкту Potassco для Answer Set Programming (ASP). ASP пропонує просту й потужну мову моделювання для опису комбінаторних задач як логічних програм. Система clingo потім бере taku логічну програму й обчислює множини відповідей, що представляють розв’язки заданої задачі.

Other Packages Related to clingo:

dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(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: libgcc_s.so.1(GCC_3.3.1)(64bit)
Package not available
dep: liblua-5.4.so()(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.14.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.1)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.11)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.13)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.15)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.7)(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.14)(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.26)(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: rtld(GNU_HASH)
Package not available
dep: libc.so.6(GLIBC_2.38)(64bit)
Package not available

Download clingo

Architecture	Package Size	Installed Size	Files
aarch64	1.6 MiB	5.6 MiB	[list of files]
i686	1.9 MiB	5.9 MiB	[list of files]
x86_64	1.7 MiB	5.7 MiB	[list of files]

Шляхи файлів пакета (85)

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/lib64/libclingo.so.4
/usr/lib64/libclingo.so.4.0
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/99a007459f4f4d3ce7aeb1a07c4317ba1c6e95
/usr/lib/.build-id/00/b20b8f13832569f3aa8ec42cc91aae345b3911
/usr/lib/.build-id/04
/usr/lib/.build-id/04/8c5b91e8ab01ff43014bb869819bcc4fc3a7ce
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/5619486d6df87670102c78b0681993470ec0df
/usr/lib/.build-id/20
/usr/lib/.build-id/20/3af2f6d86693e181438fde91f07681fee0ad41
/usr/lib/.build-id/21
/usr/lib/.build-id/21/ddcf076f7e2650d98f66ed6b3a6a4d53bf7f3c
/usr/lib/.build-id/22
/usr/lib/.build-id/22/11783a39297b4147d0e03f3422773cbe97910e
/usr/lib/.build-id/27
/usr/lib/.build-id/27/ac6744d38b6faf7831a8ff12456053c4d80a35
/usr/lib/.build-id/29
/usr/lib/.build-id/29/20a943739be9e079ad9d3436bd5b5dbd4cd0c3
/usr/lib/.build-id/31
/usr/lib/.build-id/31/8b304b8c84481b2badf2ffa5c35b369f52921d
/usr/lib/.build-id/41
/usr/lib/.build-id/41/cf6e7f9ec4effaff9717ce5d26b845c260671e
/usr/lib/.build-id/42
/usr/lib/.build-id/42/43a46f215fd9da8c37348c3bbb294c720dfe7e
/usr/lib/.build-id/51
/usr/lib/.build-id/51/372de4d3def4608b3a2e9e3dd40b1bda82b05e
/usr/lib/.build-id/57
/usr/lib/.build-id/57/2a64d2f605a99c9ea0b7882cb66385c2b12369
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/057426924fb80177906bee3436b4811ba10dc4
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/7f14c88b8eec40d0f080c87a9c36893d484739
/usr/lib/.build-id/69
/usr/lib/.build-id/69/de140eb9b95ee94e7dbea0b7021b203fa4dd04
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/74100215352ee1994ef08d56f9a3a4204dd48d
/usr/lib/.build-id/76
/usr/lib/.build-id/76/0928f5773948302d0723ce4fd4e7a13f0f5dfb
/usr/lib/.build-id/76/b174349d68dd67ca0047859fabd46a5948da68
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/3c7e4ca4d864af3d9c54c709119741114042a8
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/f3c1685bafe82a63027bf640e0f692eae6d845
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/90e8a3ef0e3b76d8c7731788304f4aa42fadbd
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/7075b3591a699c98cd6db708cd448f0c7e886c
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/9a505d1eaa4bf3578d032cb3bd14dd87e644e6
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/005cb7dfe0d19f9876fd16e0eebc1d80076a6f
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/19ce1e2a009080d8c5d675aa48c619e4245d5f
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/3e12f879cd37bdc53aef9058cf90f6fddaa78c
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/b2ef4640ec5aa1f7f613771f292e3e160cd8e0
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/929dfb38308507fef44be17ddb151080dc0176
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/b9c7d9d98d460275c12cc82780aac281cb92b6
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/0dcadb302d5a4af807490b1c79b77ccc481593
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/adf5ea202e292661578cf10084e35b36ccfa54
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/a04799739ac03f293e0b46142ce7325727dfb3
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/f118c05af77ec35b726e980c7be4017c464989
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/7d9607a6dd3974cf0243db3fdbfaf4553ac930
/usr/lib/libclingo.so.4
/usr/lib/libclingo.so.4.0
/usr/share/doc/clingo
/usr/share/doc/clingo/INSTALL.md
/usr/share/doc/clingo/README.md
/usr/share/licenses/clingo
/usr/share/licenses/clingo/LICENSE.md

Field source: Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 43 у браузері Зібрати образ, що містить clingo

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
5.8.2-1.fc43	43 / updates	aarch64	Fedora 43 · updates · aarch64	1.6 MiB	5.6 MiB	Packages/c/clingo-5.8.2-1.fc43.aarch64.rpm
5.8.2-1.fc43	43 / updates	i686	Fedora 43 · updates · x86_64	1.9 MiB	5.9 MiB	Packages/c/clingo-5.8.2-1.fc43.i686.rpm
5.8.2-1.fc43	43 / updates	x86_64	Fedora 43 · updates · x86_64	1.7 MiB	5.7 MiB	Packages/c/clingo-5.8.2-1.fc43.x86_64.rpm
5.8.0-5.fc43	43 / everything	aarch64	Fedora 43 · Everything · aarch64	1.6 MiB	5.6 MiB	Packages/c/clingo-5.8.0-5.fc43.aarch64.rpm
5.8.0-5.fc43	43 / everything	i686	Fedora 43 · Everything · x86_64	1.9 MiB	5.9 MiB	Packages/c/clingo-5.8.0-5.fc43.i686.rpm
5.8.0-5.fc43	43 / everything	x86_64	Fedora 43 · Everything · x86_64	1.7 MiB	5.7 MiB	Packages/c/clingo-5.8.0-5.fc43.x86_64.rpm

Field source: Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

Контрольні суми й дати спостереження

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.8.2-1.fc43 / 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 sha256: 759c06263f0651c20611a43c826b4a9b3c038fb42de86e58902138ccea449af8

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '759c06263f0651c20611a43c826b4a9b3c038fb42de86e58902138ccea449af8' 'clingo-5.8.2-1.fc43.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

5.8.2-1.fc43 / i686Observed 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 sha256: 5ab430ee7dfc92c436a62f0db9f4348e56e382ff96f7603a2f59e371cdeed689

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '5ab430ee7dfc92c436a62f0db9f4348e56e382ff96f7603a2f59e371cdeed689' 'clingo-5.8.2-1.fc43.i686.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

5.8.2-1.fc43 / 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 sha256: 79809aaec2f99e9e24860e90af720d077876db23c3d45fffeb52fb826a9be7c9

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '79809aaec2f99e9e24860e90af720d077876db23c3d45fffeb52fb826a9be7c9' 'clingo-5.8.2-1.fc43.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

5.8.0-5.fc43 / 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 sha256: cc8daef95705ca1f2165354340271c1ca8087161bdb7a48bc6adf6d8094b488b

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'cc8daef95705ca1f2165354340271c1ca8087161bdb7a48bc6adf6d8094b488b' 'clingo-5.8.0-5.fc43.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

5.8.0-5.fc43 / i686Observed 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 sha256: 048ff12cdd7c0e50767997e1e43bf66a5097836eee3c36d0f7c1f052a2ce2049

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '048ff12cdd7c0e50767997e1e43bf66a5097836eee3c36d0f7c1f052a2ce2049' 'clingo-5.8.0-5.fc43.i686.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

5.8.0-5.fc43 / 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 sha256: e0f9bd92fc9ba7cfc680d5dff8d6b5d124c4e49b08e7627e69ea47319f02bdeb

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'e0f9bd92fc9ba7cfc680d5dff8d6b5d124c4e49b08e7627e69ea47319f02bdeb' 'clingo-5.8.0-5.fc43.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Повнота запису каталогу

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: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2, Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac, Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Джерела та походження

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.

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
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://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
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
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
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://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
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
Fedora 43 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f43&arch=aarch64
Signed-object SHA-256
0af1807dead0a1d28599a942743e244fe57da21cf6a935b3e4155f4a3f1070a1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
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
Fedora 43 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f43&arch=x86_64
Signed-object SHA-256
3ae5fecc3db8c7b4ce0cf54a8ea572ed4694e7e132e201c2f6ab6570259d1061
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
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