packages
[ Source: gringo ]
Пакунок: gringo (3.0.4-3) [universe]
Links for gringo
Ubuntu Resources:
Download Source Package gringo:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Thomas Krennwallner
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [potassco.sourceforge.net]
Similar packages:
grounding tools for (disjunctive) logic programs
Інші пакунки пов'язані з gringo
|
|
|
-
- dep: libboost-filesystem1.49.0 (>= 1.49.0-1)
- filesystem operations (portable paths, iteration over directories, etc) in C++
-
- dep: libboost-system1.49.0 (>= 1.49.0-1)
- Operating system (e.g. diagnostics support) library
-
- dep: libc6 (>= 2.14) [amd64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: liblua5.1-0
- Shared library for the Lua interpreter version 5.1
-
- dep: libstdc++6 (>= 4.6)
- GNU Standard C++ Library v3
-
- rec: clasp
- conflict-driven nogood learning answer set solver
-
- sug: potassco-guide
- Пакунок недоступний
Завантажити gringo
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| amd64 | 1,549.8 kB | 3,903.0 kB | [список файлів] |
| i386 | 1,535.6 kB | 3,727.0 kB | [список файлів] |