pkg.soopen package index

brew / 排名 3374

使用 Homebrew, apk, dnf, MacPorts, Nix, zypper, scoop, 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

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
clasp可执行文件已索引可执行文件从本地可执行文件索引发现。
clingo可执行文件已索引可执行文件从本地可执行文件索引发现。
gringo可执行文件已索引可执行文件从本地可执行文件索引发现。
lpconvert可执行文件已索引可执行文件从本地可执行文件索引发现。
reify可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

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

页面生成时间2026-08-03
管理器版本5.8.0
管理器更新时间
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:clingo
版本5.8.0
软件包管理器Homebrew
主页https://potassco.org/clingo/
仓库https://github.com/potassco/clingo
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 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-12.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

clingo-devel 5.8.0-12.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

lua-clingo 5.8.0-12.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

python3-clingo 5.8.0-12.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
zypper95%

clingo 5.8.0-2.4

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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

clingo-devel 5.8.0-2.4

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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

libclingo4 5.8.0-2.4

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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

lua-clingo 5.8.0-2.4

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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

python3-clingo 5.8.0-2.4

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/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

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

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation