brew

clingo mit Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für clingo in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install clingo

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install clingo

MacPorts ports tree · math/clingo/Portfile · Quelle: api.github.com

Linux

Alpine Linux apkverifiziert · 92%

sudo apk add clingo

Alpine Linux edge package indexes · clingo · Quelle: dl-cdn.alpinelinux.org

Fedora dnfverifiziert · 92%

sudo dnf install clingo

Fedora Rawhide package metadata · clingo · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%

nix profile install nixpkgs#clingo

nixpkgs package indexes · pkgs/by-name/cl/clingo/package.nix · Quelle: api.github.com

openSUSE zypperverifiziert · 92%

sudo zypper install clingo

openSUSE Tumbleweed package metadata · clingo · Quelle: download.opensuse.org

Debian aptverifiziert · 92%

sudo apt install clasp

Debian stable package indexes · clasp · Quelle: deb.debian.org

Windows

Scoopverifiziert · 92%

scoop install extras/clingo

Scoop official bucket manifest trees · bucket/clingo.json · Quelle: api.github.com

Überblick

Paketzusammenfassung

ASP system to ground and solve logic programs

Projektlinks

Befehle und Aliase

clasp
clingo
gringo
lpconvert
reify

Verlauf

Projektgeschichte und Nutzung

clingo is Potassco's grounder and solver for Answer Set Programming. The official README says clingo takes a logic program and computes answer sets representing solutions, while the official Potassco page describes it as combining gringo and clasp into a monolithic system.

Projektgeschichte

clingo grew out of the Potassco toolchain, joining gringo's grounding role with clasp's solving role for logic programs. The 5.x release line in the official changelog emphasizes API stability and growth across C, C++, Python, and Lua bindings, CMake packaging, ASPIF support, propagators, and updates to the embedded clasp solver.

Adoptionsgeschichte

The official README points users to source and binary releases, installation requirements, the Potassco guide, and an online clingo runner. The batch input lists broad distribution coverage across apk, Homebrew, Debian/Ubuntu via clasp, dnf, MacPorts, Nix, Scoop, and zypper.

Wie es verwendet wird

Users model combinatorial problems as logic programs and run clingo to ground and solve them. Official resources provide a getting-started guide, online execution, API documentation, release downloads, and executables in the package such as clingo, gringo, clasp, lpconvert, and reify.

Warum Paket-Nerds sich dafür interessieren

clingo is package-nerd significant because it packages a research-grade declarative programming system as a practical CLI and embeddable library. It is the kind of solver that appears both in academic workflows and in distro package sets, where reproducible versions and language bindings matter.

Zeitleiste

2010s: clingo 5.x tags appear in the official repository, starting with v5.0.0.
2020s: Official changelog records 5.2 through 5.8 work on CMake, MIT licensing, APIs, Python wheels, ASPIF, propagators, and clasp updates.
2026: Batch input lists clingo or clasp packages across apk, Homebrew, Debian, Ubuntu, dnf, MacPorts, Nix, Scoop, and zypper.

Related projects

clingo is directly related to Potassco, gringo, clasp, the Potassco guide, ASPIF tooling, and Answer Set Programming research/software. It also sits near other constraint, SAT, SMT, and logic-programming tools in developer package collections.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 3 Laufzeitabhängigkeiten.
Build-Metadaten listen 2 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit
`clasp`	cli	globales Executable
`clingo`	cli	globales Executable
`gringo`	cli	globales Executable
`lpconvert`	cli	globales Executable
`reify`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-08

Manager-Version5.8.0

Manager aktualisiert

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionv5.8.0

https://github.com/potassco/clingo

InfoNo package-manager update timestamp was available.niedrig Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:clingo
Version	5.8.0
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/clingo
Homepage	https://potassco.org/clingo/
Repository	https://github.com/potassco/clingo
Upstream-Dokumentation	https://potassco.org/clingo
Lizenz	MIT
Quellarchiv	https://github.com/potassco/clingo/archive/refs/tags/v5.8.0.tar.gz
Abhängigkeiten	cffi, lua, python@3.14
Build-Abhängigkeiten	cmake, doxygen
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	clingo
Aliases	clasp gringo
Version Scheme	0
Revision	1
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

clingo

nix profile install nixpkgs#clingo

normalized package name match
Abgeglichen nach: Clingo

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/cl/clingo/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

apk95%

clingo 5.8.0-r2

Grounder and solver for logic programs

https://potassco.org/clingo/

sudo apk add clingo

License: MIT
Architecture: x86_64
Source Package: clingo
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: clingo from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

clingo-dev 5.8.0-r2

Grounder and solver for logic programs (development files)

https://potassco.org/clingo/

sudo apk add clingo-dev

License: MIT
Architecture: x86_64
Source Package: clingo
1 Abhängigkeiten
normalized package name match
Abgeglichen nach: Clingo

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: clingo-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

clingo-libs 5.8.0-r2

Grounder and solver for logic programs (libraries)

https://potassco.org/clingo/

sudo apk add clingo-libs

License: MIT
Architecture: x86_64
Source Package: clingo
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: clingo-libs from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

py3-clingo 5.8.0-r2

Python bindings for clingo

https://potassco.org/clingo/

sudo apk add py3-clingo

License: MIT
Architecture: x86_64
Source Package: clingo
1 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: py3-clingo from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

dnf95%

clingo 5.8.0-10.fc45

A grounder and solver for logic programs

https://potassco.org/clingo/

sudo dnf install clingo

License: MIT
Category: Unspecified
Architecture: i686
Source Package: clingo
8 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: clingo from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

clingo-devel 5.8.0-10.fc45

Development files for clingo

https://potassco.org/clingo/

sudo dnf install clingo-devel

License: MIT
Category: Unspecified
Architecture: i686
Source Package: clingo
3 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: clingo-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

lua-clingo 5.8.0-10.fc45

Lua bindings for Clingo

https://potassco.org/clingo/

sudo dnf install lua-clingo

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: clingo
8 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: lua-clingo from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

python3-clingo 5.8.0-10.fc45

Python 3 bindings for Clingo

https://potassco.org/clingo/

sudo dnf install python3-clingo

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: clingo
5 Abhängigkeiten
5 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: python3-clingo from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

zypper95%

clingo 5.8.0-2.2

A grounder and solver for logic programs

https://potassco.org/clingo/

sudo zypper install clingo

License: MIT
Category: Development/Tools/Other
Architecture: x86_64
Source Package: clingo
7 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

clingo-devel 5.8.0-2.2

Development files for clingo

https://potassco.org/clingo/

sudo zypper install clingo-devel

License: MIT
Category: Development/Tools/Other
Architecture: x86_64
Source Package: clingo
2 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: clingo-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

libclingo4 5.8.0-2.2

Libraries file(s) for clingo

https://potassco.org/clingo/

sudo zypper install libclingo4

License: MIT
Category: Development/Libraries/C and C++
Architecture: x86_64
Source Package: clingo
6 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: libclingo4 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

lua-clingo 5.8.0-2.2

Lua bindings for Clingo

https://potassco.org/clingo/

sudo zypper install lua-clingo

License: MIT
Category: Development/Tools/Other
Architecture: x86_64
Source Package: clingo
6 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: lua-clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

python3-clingo 5.8.0-2.2

Python 3 bindings for Clingo

https://potassco.org/clingo/

sudo zypper install python3-clingo

License: MIT
Category: Development/Tools/Other
Architecture: x86_64
Source Package: clingo
5 Abhängigkeiten
3 stellt bereit
normalized package name match
Abgeglichen nach: Clingo

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: python3-clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

MacPorts95%

clingo

sudo port install clingo

normalized package name match
Abgeglichen nach: Clingo

MacPorts ports tree · api.github.com · MacPorts ports tree: math/clingo/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Scoop95%

extras/clingo

scoop install extras/clingo

normalized package name match
Abgeglichen nach: Clingo

Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/clingo.json from https://api.github.com/repos/ScoopInstaller/Extras/git/trees/master?recursive=1

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/clingo.yml

Verwendete Quellen

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

clingo mit Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt installieren

Weitere Installationsbefehle

macOS

Linux

Windows

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Projektgeschichte und Nutzung

Projektgeschichte

Adoptionsgeschichte

Wie es verwendet wird

Warum Paket-Nerds sich dafür interessieren

Zeitleiste

Related projects

Quellen

Risikostufe: grün

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen