源码包: gringo (5.2.2-5)
gringo 的相关链接
Trisquel 的资源:
维护者:
Original Maintainers:
- Debian Science Maintainers (Mail Archive)
- Thomas Krennwallner
外部的资源:
- 主页 [www.potassco.org]
本源码包构建了以下这些二进制包:
- gringo
- grounding tools for (disjunctive) logic programs
其他与 gringo 有关的软件包
|
|
-
- adep: debhelper (>= 11)
- helper programs for debian/rules
-
- adep: dpkg-dev (>= 1.16.1~)
- Debian package development tools
-
- adep: pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep: g++-7 (>= 7.2.0)
- GNU C++ compiler
-
- adep: cmake (>= 3.1.0)
- cross-platform, open-source make system
-
- adep: re2c
- tool for generating fast C-based recognizers
-
- adep: bison
- YACC-compatible parser generator
-
- adep: liblua5.3-dev
- Development files for the Lua language version 5.3
-
- adep: python3
- interactive high-level object-oriented language (default python3 version)
-
- adep: libpython3-dev
- header files and a static library for Python (default)
Download gringo
文件 | 大小(单位: kB) | MD5 校验码 |
---|---|---|
gringo_5.2.2-5.dsc | 2.0 kB | 92a315a10f97fdd69e938aae1d82680a |
gringo_5.2.2.orig.tar.gz | 2,580.7 kB | d46a1567f772eebad85c6300d55d2cc3 |
gringo_5.2.2-5.debian.tar.xz | 13.6 kB | a3162c653e668aaa8d61c418135304a1 |
- Debian 软件包源码仓库(VCS: Git)
- https://salsa.debian.org/science-team/gringo.git
- Debian 软件包源码仓库(可在线浏览)
- https://salsa.debian.org/science-team/gringo