Source Package: gringo (5.4.1-3)
Links for gringo
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- gringo
- strumenti di grounding per programmi di logica (disgiuntiva)
Other Packages Related to gringo
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
dpkg-dev
(>= 1.16.1~)
- strumenti per lo sviluppo di pacchetti Debian
-
- adep:
pkg-kde-tools
- various packaging tools and scripts for KDE Applications
-
- adep:
g++-10
(>= 10.2.1)
- compilatore GNU C++
-
- adep:
cmake
(>= 3.1.0)
- sistema «make» open source e multipiattaforma
-
- adep:
re2c
- generatore di lexer per C, C++ e Go
-
- adep:
bison
- generatore di parser compatibile con YACC
-
- adep:
liblua5.4-dev
- file di sviluppo per il linguaggio Lua versione 5.4
-
- adep:
python3
(>= 3.8.2)
- linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)
-
- adep:
libpython3-dev
(>= 3.8.2)
- file header e libreria statica per Python (predefinito)
-
- adep:
python3-distutils
(>= 3.8.2)
- pacchetto distutils per Python 3.x
