macOS
Homebrew確認済み · 100%
brew install clingolocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install clingoMacPorts ports tree · math/clingo/Portfile · ソース: api.github.com
brew
clingo を Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt でインストール
clingo のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Alpine Linux apk確認済み · 92%
sudo apk add clingoAlpine Linux edge package indexes · clingo · ソース: dl-cdn.alpinelinux.org
Fedora dnf確認済み · 92%
sudo dnf install clingoFedora Rawhide package metadata · clingo · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#clingonixpkgs package indexes · pkgs/by-name/cl/clingo/package.nix · ソース: api.github.com
openSUSE zypper確認済み · 92%
sudo zypper install clingoopenSUSE Tumbleweed package metadata · clingo · ソース: download.opensuse.org
Debian apt確認済み · 92%
sudo apt install claspDebian stable package indexes · clasp · ソース: deb.debian.org
Windows
Scoop確認済み · 92%
scoop install extras/clingoScoop 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 |
|
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
clingo
nix profile install nixpkgs#clingo- normalized package name match
- 一致条件: Clingo
apk95%
clingo 5.8.0-r2
Grounder and solver for logic programs
sudo apk add clingo- License: MIT
- Architecture: x86_64
- Source Package: clingo
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Clingo
apk95%
clingo-dev 5.8.0-r2
Grounder and solver for logic programs (development files)
sudo apk add clingo-dev- License: MIT
- Architecture: x86_64
- Source Package: clingo
- 1 依存関係
- normalized package name match
- 一致条件: Clingo
apk95%
clingo-libs 5.8.0-r2
Grounder and solver for logic programs (libraries)
sudo apk add clingo-libs- License: MIT
- Architecture: x86_64
- Source Package: clingo
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Clingo
apk95%
py3-clingo 5.8.0-r2
Python bindings for clingo
sudo apk add py3-clingo- License: MIT
- Architecture: x86_64
- Source Package: clingo
- 1 依存関係
- 1 提供
- normalized package name match
- 一致条件: Clingo
dnf95%
clingo 5.8.0-10.fc45
A grounder and solver for logic programs
sudo dnf install clingo- License: MIT
- Category: Unspecified
- Architecture: i686
- Source Package: clingo
- 8 依存関係
- 2 提供
- normalized package name match
- 一致条件: Clingo
dnf95%
clingo-devel 5.8.0-10.fc45
Development files for clingo
sudo dnf install clingo-devel- License: MIT
- Category: Unspecified
- Architecture: i686
- Source Package: clingo
- 3 依存関係
- 2 提供
- normalized package name match
- 一致条件: Clingo
dnf95%
lua-clingo 5.8.0-10.fc45
Lua bindings for Clingo
sudo dnf install lua-clingo- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: clingo
- 8 依存関係
- 1 提供
- normalized package name match
- 一致条件: Clingo
dnf95%
python3-clingo 5.8.0-10.fc45
Python 3 bindings for Clingo
sudo dnf install python3-clingo- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: clingo
- 5 依存関係
- 5 提供
- normalized package name match
- 一致条件: Clingo
zypper95%
clingo 5.8.0-2.2
A grounder and solver for logic programs
sudo zypper install clingo- License: MIT
- Category: Development/Tools/Other
- Architecture: x86_64
- Source Package: clingo
- 7 依存関係
- 1 提供
- normalized package name match
- 一致条件: Clingo
zypper95%
clingo-devel 5.8.0-2.2
Development files for 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
zypper95%
libclingo4 5.8.0-2.2
Libraries file(s) for 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
zypper95%
lua-clingo 5.8.0-2.2
Lua bindings for 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
zypper95%
python3-clingo 5.8.0-2.2
Python 3 bindings for 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
MacPorts95%
clingo
sudo port install clingo- normalized package name match
- 一致条件: Clingo
Scoop95%
extras/clingo
scoop install extras/clingo- normalized package name match
- 一致条件: Clingo
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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