clingo 下载
ASP 系统用于构建和求解逻辑程序
clingo 是什么
clingo 是一款适用于 Windows / Linux 的命令行工具:ASP 系统用于构建和求解逻辑程序。
它通过 GitHub Releases 分发,本站不托管或镜像安装包。它采用 MIT 许可证分发。
clingo 适合需要ASP 系统用于构建和求解逻辑程序的用户。作为一款命令行工具,它在终端中运行,适合脚本自动化和开发工作流。
核心功能
功能与用途来自 公开元数据和项目说明,具体以官方文档为准。
- ASP 系统用于构建和求解逻辑程序。
- 适合在命令行中完成批量处理和自动化任务。
- 以命令行工具形式安装,可在终端中直接调用。
clingo 适合谁用
clingo 适合需要ASP 系统用于构建和求解逻辑程序的用户。如果你在 Windows / Linux 上寻找一款命令行工具,并且希望用一条命令完成安装与后续升级,它值得先试。
安装量与热度
最近 30 天通过包管理器安装 75 次,过去 12 个月累计 1,284 次。
下载
官方网站:https://potassco.org/clingo/
该项目的 GitHub Releases 中没有 Windows 或 Linux 的独立安装包。这类工具通常通过包管理器分发,可以尝试:
- Windows:
winget search clingo或scoop search clingo - Linux:
apt search clingo或dnf search clingo
和同类应用怎么选
如果你更看重安装量、依赖数量或开源许可,可以对照上面概览表里的数字;需要逐项对比时,见下方替代品与对比页。
与同类应用对比
只对比公开元数据,不做主观推荐;需要逐项对比时见对比页。
| 应用 | 版本 | 许可证 | 架构 | 近 30 天安装 |
|---|---|---|---|---|
| clingo | 5.8.2 | MIT | 命令行 | 75 |
| snakemake | 9.27.1 | MIT | 命令行 | 75 |
| dump1090-fa | 11.1 | GPL-2.0-or-later | 命令行 | 72 |
| vitess | 24.0.5 | Apache-2.0 | 命令行 | 74 |
命令行工具中的类似应用
同一分类中最接近的应用,按介绍相似度和安装量排序。它们是相关工具,并非确认可互换的替代品;人工挑选的正面对比请见对比页。
snakemake
Python 风格的工作流系统dump1090-fa
FlightAware ADS-B 地面站系统用于 SDRvitess
用于 MySQL 水平扩展的数据库集群系统snort
灵活的网络入侵检测系统global
源代码标签系统所属分类:命令行工具
数据来自 GitHub Releases · 安装量来自 公开统计 · 更新于 2026-11-04 · 排名方法 · 编辑政策