brew

Installer clingo avec Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de clingo pour les workflows d'agents IA.

Commande d'installation Notes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install clingo

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install clingo

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

Linux

Alpine Linux apkvérifié · 92%

sudo apk add clingo

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

Fedora dnfvérifié · 92%

sudo dnf install clingo

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

Nixvérifié · 92%

nix profile install nixpkgs#clingo

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

openSUSE zyppervérifié · 92%

sudo zypper install clingo

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

Debian aptvérifié · 92%

sudo apt install clasp

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

Windows

Scoopvérifié · 92%

scoop install extras/clingo

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

aperçu

Résumé du paquet

ASP system to ground and solve logic programs

Liens du projet

Commandes et alias

clasp
clingo
gringo
lpconvert
reify

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 3 dépendances d’exécution.
Les métadonnées de compilation listent 2 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`clasp`	cli	exécutable global
`clingo`	cli	exécutable global
`gringo`	cli	exécutable global
`lpconvert`	cli	exécutable global
`reify`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08

version du gestionnaire5.8.0

gestionnaire mis à jour

données localesOK

amontà jour

dernière version détectéev5.8.0

https://github.com/potassco/clingo

infoNo package-manager update timestamp was available.confiance faible

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:clingo
Version	5.8.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/clingo
Page d'accueil	https://potassco.org/clingo/
Dépôt	https://github.com/potassco/clingo
Docs amont	https://potassco.org/clingo
Licence	MIT
Archive source	https://github.com/potassco/clingo/archive/refs/tags/v5.8.0.tar.gz
Dépendances	cffi, lua, python@3.14
Dépendances de compilation	cmake, doxygen
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

clingo

nix profile install nixpkgs#clingo

normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
5 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
normalized package name match
Correspondance par : 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 Dépendances
2 fournit
normalized package name match
Correspondance par : 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 Dépendances
1 fournit
normalized package name match
Correspondance par : 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 Dépendances
3 fournit
normalized package name match
Correspondance par : 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
Correspondance par : 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
Correspondance par : 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

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/clingo.yml

Sources utilisées

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

Installer clingo avec Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt

Commandes d'installation supplémentaires

macOS

Linux

Windows

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées