brew

使用 Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt 安装 clingo

查看 clingo 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install clingo

local Homebrew formula metadata

MacPorts已验证 · 94%

sudo port install clingo

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

Linux

Alpine Linux apk已验证 · 92%

sudo apk add clingo

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

Fedora dnf已验证 · 92%

sudo dnf install clingo

Fedora Rawhide package metadata · clingo · 来源: dl.fedoraproject.org

Nix已验证 · 92%

nix profile install nixpkgs#clingo

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

openSUSE zypper已验证 · 92%

sudo zypper install clingo

openSUSE Tumbleweed package metadata · clingo · 来源: download.opensuse.org

Debian apt已验证 · 92%

sudo apt install clasp

Debian stable package indexes · clasp · 来源: deb.debian.org

Windows

Scoop已验证 · 92%

scoop install extras/clingo

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

概览

软件包摘要

ASP system to ground and solve logic programs

项目链接

命令和别名

clasp
clingo
gringo
lpconvert
reify

历史

项目历史与用法

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.

项目历史

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.

采用历史

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.

使用方式

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.

为什么软件包爱好者会关心

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.

时间线

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.

来源

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色风险 · 低置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
安装时包含 3 个运行时依赖。
构建元数据列出 2 个构建依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围
`clasp`	cli	全局可执行文件
`clingo`	cli	全局可执行文件
`gringo`	cli	全局可执行文件
`lpconvert`	cli	全局可执行文件
`reify`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08

管理器版本5.8.0

管理器更新时间

本地数据OK

上游当前

检测到的最新版本v5.8.0

https://github.com/potassco/clingo

信息No package-manager update timestamp was available.低置信度

安装元数据

软件包元数据

软件包键	brew:clingo
版本	5.8.0
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/clingo
主页	https://potassco.org/clingo/
仓库	https://github.com/potassco/clingo
上游文档	https://potassco.org/clingo
许可证	MIT
源码归档	https://github.com/potassco/clingo/archive/refs/tags/v5.8.0.tar.gz
依赖	cffi, lua, python@3.14
构建依赖	cmake, doxygen
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

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

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Nix95%

clingo

nix profile install nixpkgs#clingo

normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
2 提供
normalized package name match
匹配方式：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 依赖
2 提供
normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
5 提供
normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
2 提供
normalized package name match
匹配方式：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 依赖
2 提供
normalized package name match
匹配方式：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 依赖
1 提供
normalized package name match
匹配方式：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 依赖
3 提供
normalized package name match
匹配方式：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
匹配方式：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
匹配方式：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

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/clingo.yml

使用的来源

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

使用 Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt 安装 clingo

其他安装命令

macOS

Linux

Windows

软件包摘要

项目链接

命令和别名

项目历史与用法

项目历史

采用历史

使用方式

为什么软件包爱好者会关心

时间线

Related projects

来源

风险级别：绿色

风险分类器

原因

信号

安装行为

建议审查

已安装的可执行文件

版本和新鲜度

软件包元数据

源数据库详情

其他软件包管理器记录

内部软件包链接

主题 hub

相关工具

相同工作流

代理安全指南

由仓库数据生成

Combined YAML source

使用的来源