Kaynak Paket: gringo (5.4.1-3.1)
gringo için bağlantılar
Debian Kaynakları:
Geliştiriciler:
Dış Kaynaklar:
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- gringo
- grounding tools for (disjunctive) logic programs
gringo ile İlgili Diğer Paketler
|
- bağımsız inşa bağımlılıkları
|
-
- adep:
debhelper-compat
(= 13)
- Paket mevcut değil
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debian package development tools
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
cmake
(>= 3.1.0)
- cross-platform, open-source make system
-
- adep:
catch
- C++ Automated Test Cases in Headers
-
- adep:
catch2
- C++ Automated Test Cases in Headers
-
- adep:
re2c
- lexer generator for C, C++, Go and Rust
-
- adep:
bison
- YACC-compatible parser generator
-
- adep:
liblua5.4-dev
- Development files for the Lua language version 5.4
-
- adep:
python3
(>= 3.8.2)
- interactive high-level object-oriented language (default python3 version)
-
- adep:
libpython3-dev
(>= 3.8.2)
- header files and a static library for Python (default)
-
- adep:
python3-distutils
(>= 3.8.2)
- distutils package for Python 3.x
