# clingo を Homebrew, apk, dnf, MacPorts, Nix, scoop, zypper, apt でインストール clingo のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。 ## インストール ```sh sudo av install brew:clingo ``` 追加のインストールコマンド: ### macOS - Homebrew (100%): ```sh brew install clingo ``` 証拠: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install clingo ``` 証拠: MacPorts ports tree: math/clingo/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - apk (92%): ```sh sudo apk add clingo ``` 証拠: Alpine Linux edge package indexes: clingo from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz - dnf (92%): ```sh sudo dnf install clingo ``` 証拠: Fedora Rawhide package metadata: clingo from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#clingo ``` 証拠: nixpkgs package indexes: pkgs/by-name/cl/clingo/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - zypper (92%): ```sh sudo zypper install clingo ``` 証拠: openSUSE Tumbleweed package metadata: clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst - Debian apt (92%): ```sh sudo apt install clasp ``` 証拠: Debian stable package indexes: clasp from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz ### Windows - Scoop (92%): ```sh scoop install extras/clingo ``` 証拠: Scoop official bucket manifest trees: bucket/clingo.json from https://api.github.com/repos/ScoopInstaller/Extras/git/trees/master?recursive=1 ## パッケージ情報 - **パッケージキー:** brew:clingo - **パッケージマネージャ:** Homebrew - **パッケージマネージャページ:** - **バージョン:** 5.8.0 - **ソース概要:** ASP system to ground and solve logic programs - **ホームページ:** - **リポジトリ:** - **上流ドキュメント:** - **ライセンス:** MIT - **ソースアーカイブ:** - **生成日時:** 2026-07-08T07:18:31+00:00 ## 実行可能ファイル - clasp (cli) - clingo (cli) - gringo (cli) - lpconvert (cli) - reify (cli) - clasp (エイリアス) - clingo (エイリアス) - gringo (エイリアス) - lpconvert (エイリアス) - reify (エイリアス) ## 依存関係 - cffi - lua - python@3.14 ## ビルド依存関係 - cmake - doxygen ## インストール挙動 - post-install フック: 未定義 - Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## バージョンと鮮度 - ページ生成日: 2026-07-08 - マネージャ版: 5.8.0 - ローカルデータ: OK - 上流リポジトリ: https://github.com/potassco/clingo - 検出された最新: v5.8.0 (最新) - 情報: No package-manager update timestamp was available. ## プロジェクトの歴史と使われ方 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. - **Geiger リスク:** グリーン / 低 - narrow executable package without higher-risk signals ## ソースデータベース詳細 - **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:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## 他のパッケージマネージャ記録 - Nix - clingo: normalized package name match | nixpkgs package indexes: pkgs/by-name/cl/clingo/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - apk - clingo - 5.8.0-r2: normalized package name match | Alpine Linux edge package indexes: clingo from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Grounder and solver for logic programs | https://potassco.org/clingo/ - apk - clingo-dev - 5.8.0-r2: normalized package name match | Alpine Linux edge package indexes: clingo-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Grounder and solver for logic programs (development files) | https://potassco.org/clingo/ - apk - clingo-libs - 5.8.0-r2: normalized package name match | Alpine Linux edge package indexes: clingo-libs from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Grounder and solver for logic programs (libraries) | https://potassco.org/clingo/ - apk - py3-clingo - 5.8.0-r2: normalized package name match | Alpine Linux edge package indexes: py3-clingo from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Python bindings for clingo | https://potassco.org/clingo/ - dnf - clingo - 5.8.0-10.fc45: normalized package name match | Fedora Rawhide package metadata: clingo from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | A grounder and solver for logic programs | https://potassco.org/clingo/ - dnf - clingo-devel - 5.8.0-10.fc45: normalized package name match | 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 | Development files for clingo | https://potassco.org/clingo/ - dnf - lua-clingo - 5.8.0-10.fc45: normalized package name match | 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 | Lua bindings for Clingo | https://potassco.org/clingo/ - dnf - python3-clingo - 5.8.0-10.fc45: normalized package name match | 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 | Python 3 bindings for Clingo | https://potassco.org/clingo/ - zypper - clingo - 5.8.0-2.2: normalized package name match | openSUSE Tumbleweed package metadata: clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | A grounder and solver for logic programs | https://potassco.org/clingo/ - zypper - clingo-devel - 5.8.0-2.2: normalized package name match | openSUSE Tumbleweed package metadata: clingo-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Development files for clingo | https://potassco.org/clingo/ - zypper - libclingo4 - 5.8.0-2.2: normalized package name match | openSUSE Tumbleweed package metadata: libclingo4 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Libraries file(s) for clingo | https://potassco.org/clingo/ - zypper - lua-clingo - 5.8.0-2.2: normalized package name match | openSUSE Tumbleweed package metadata: lua-clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Lua bindings for Clingo | https://potassco.org/clingo/ - zypper - python3-clingo - 5.8.0-2.2: normalized package name match | openSUSE Tumbleweed package metadata: python3-clingo from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Python 3 bindings for Clingo | https://potassco.org/clingo/ - MacPorts - clingo: normalized package name match | MacPorts ports tree: math/clingo/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 - Scoop - extras/clingo: normalized package name match | Scoop official bucket manifest trees: bucket/clingo.json from https://api.github.com/repos/ScoopInstaller/Extras/git/trees/master?recursive=1 ## 関連リンク - [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/ja/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/ja/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/ja/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [cffi](https://www.automicvault.com/ja/pkg/brew/cffi/) - Runtime dependency declared by Homebrew. - [lua](https://www.automicvault.com/ja/pkg/brew/lua/) - Runtime dependency declared by Homebrew. - [python@3.14](https://www.automicvault.com/ja/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew. - [cmake](https://www.automicvault.com/ja/pkg/brew/cmake/) - Build dependency declared by Homebrew. - [doxygen](https://www.automicvault.com/ja/pkg/brew/doxygen/) - Build dependency declared by Homebrew. - [aspcud](https://www.automicvault.com/ja/pkg/brew/aspcud/) - Popular package that depends on this formula. - [souffle](https://www.automicvault.com/ja/pkg/brew/souffle/) - Shares av.db curated category or tags: cli, developer-tools, logic-programming. - [breezy](https://www.automicvault.com/ja/pkg/brew/breezy/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, developer, developer-tools, python, python-3-14. - [cobo-cli](https://www.automicvault.com/ja/pkg/brew/cobo-cli/) - Both packages touch the same language runtime or ecosystem. Shared terms: cffi, cli, developer, developer-tools, python. ## Combined YAML source View the package source record on GitHub. [combined/clingo.yml](https://github.com/automic-vault/db/blob/main/combined/clingo.yml) ## ソース - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph