也称为: clasp,gringo
ASP 系统用于将逻辑程序实例化和求解
许可: MIT
公式 JSON API: /api/formula/clingo.json
公式代码: clingo.rb
在 GitHub 上
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
64 位 Linux | ✅ |
当前版本
稳定版 | ✅ | 5.7.1 |
头版 | ⚡️ | HEAD |
依赖项
cffi | 1.16.0 | Python 的 C 外部函数接口 |
lua | 5.4.7 | 功能强大、轻量级的编程语言 |
[email protected] | 3.12.4 | 解释型、交互式、面向对象的编程语言 |
构建源代码时的依赖项
cmake | 3.30.2 | 跨平台构建工具 |
doxygen | 1.11.0 | 为多种编程语言生成文档 |
python-setuptools | 72.1.0 | 轻松下载、构建、安装、升级和卸载 Python 包 |
分析
安装(30 天) | |
---|---|
clingo |
153 |
请求安装(30 天) | |
clingo |
118 |
构建错误(30 天) | |
clingo |
0 |
安装(90 天) | |
clingo |
625 |
请求安装(90 天) | |
clingo |
507 |
安装(365 天) | |
clingo |
3,521 |
clingo --HEAD |
6 |
请求安装(365 天) | |
clingo |
2,425 |
clingo --HEAD |
6 |