brew

Install clingo with Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt

ASP system to ground and solve logic programs. Version 5.8.0 via Homebrew; verified from local package data.

Install command Security notes

install

Additional install commands

macOS

Homebrewverified · 100%

brew install clingo

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install clingo

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

Linux

Alpine Linux apkverified · 92%

sudo apk add clingo

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

Fedora dnfverified · 92%

sudo dnf install clingo

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

Nixverified · 92%

nix profile install nixpkgs#clingo

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

openSUSE zypperverified · 92%

sudo zypper install clingo

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

Debian aptverified · 92%

sudo apt install clasp

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

Windows

Scoopverified · 92%

scoop install extras/clingo

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

overview

Package summary

ASP system to ground and solve logic programs

Project links

Commands and aliases

clasp
clingo
gringo
lpconvert
reify

history

Project history and usage

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.

Project history

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.

Adoption history

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.

How it is used

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.

Why package nerds care

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.

Timeline

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

security posture

Risk level: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
Installs with 3 runtime dependencies.
Build metadata lists 2 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure
`clasp`	cli	global executable
`clingo`	cli	global executable
`gringo`	cli	global executable
`lpconvert`	cli	global executable
`reify`	cli	global executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08

manager version5.8.0

manager updated

local dataok

upstreamcurrent

latest detectedv5.8.0

https://github.com/potassco/clingo

infoNo package-manager update timestamp was available.low confidence

install metadata

Package metadata

Package key	brew:clingo
Version	5.8.0
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/clingo
Homepage	https://potassco.org/clingo/
Repository	https://github.com/potassco/clingo
Upstream docs	https://potassco.org/clingo
License	MIT
Source archive	https://github.com/potassco/clingo/archive/refs/tags/v5.8.0.tar.gz
Dependencies	cffi, lua, python@3.14
Build dependencies	cmake, doxygen
Bottle	available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

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

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

clingo

nix profile install nixpkgs#clingo

normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
2 provides
normalized package name match
Matched by: 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 dependencies
2 provides
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
5 provides
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
2 provides
normalized package name match
Matched by: 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 dependencies
2 provides
normalized package name match
Matched by: 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 dependencies
1 provides
normalized package name match
Matched by: 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 dependencies
3 provides
normalized package name match
Matched by: 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
Matched by: 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
Matched by: 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

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/clingo.yml

Used sources

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

Install clingo with Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt

Additional install commands

macOS

Linux

Windows

Package summary

Project links

Commands and aliases

Project history and usage

Project history

Adoption history

How it is used

Why package nerds care

Timeline

Related projects

Sources

Risk level: green

Risk classifier

Why

Signals

Install behavior

Recommended review

Installed executables

Version and freshness

Package metadata

Source database details

Other package-manager records

Internal package links

Topical hubs

Related tools

Same workflow

Agent security guides

Generated from repository data

Combined YAML source

Used sources