[ Източник: gringo ]
Пакет: gringo (5.6.2-2 и други)
Връзки за gringo
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник gringo.
Отговорници:
Външни препратки:
- Начална страница [www.potassco.org]
Подобни пакети:
grounding tools for (disjunctive) logic programs
Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.
This package contains the following tools:
- gringo: a grounder that, given an input program with first-order variables, computes an equivalent ground (variable-free) program in aspif format. Its output can be processed further with answer set solver clasp. Starting with gringo series 5, its output is no longer directly compatible with solvers like smodels or cmodels reading smodels format. Use lpconvert for translating aspif format to smodels format. - clingo: combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually: multi-shot solving. - lpconvert: converter between gringo's aspif and smodels format. - reify: small utility that reifies logic programs given in aspif format. It produces a set of facts, which can be processed further with gringo.
Други пакети, свързани с gringo
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, m68k, sh4]
- support library providing __atomic built-in functions
-
- dep: libc6 (>= 2.37) [sh4]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.38) [не alpha, ia64, sh4]
-
- dep: libc6.1 (>= 2.26) [ia64]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- GCC support library
- dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [sh4]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC support library
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support library
-
- dep: libgcc1 (>= 1:4.2) [ia64]
- Пакетът не е наличен
-
- dep: liblua5.3-0 [ia64]
- Shared library for the Lua interpreter version 5.3
-
- dep: liblua5.4-0 (>= 5.4.6) [не ia64]
- Shared library for the Lua interpreter version 5.4
-
- dep: libpython2.7 (>= 2.7) [ia64]
- Пакетът не е наличен
-
- dep: libpython3.12t64 (>= 3.12.1) [sparc64]
- Shared Python runtime library (version 3.12)
-
- dep: libstdc++6 (>= 13.1) [не arm64, ia64]
- GNU Standard C++ Library v3
- dep: libstdc++6 (>= 14) [arm64]
- dep: libstdc++6 (>= 7) [ia64]
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
-
- dep: python3 [sparc64]
- interactive high-level object-oriented language (default python3 version)
- dep: python3 (<< 3.13) [sparc64]
- dep: python3 (>= 3.12~) [sparc64]
-
- dep: python3-cffi [sparc64]
- Foreign Function Interface for Python 3 calling C code
-
- rec: clasp
- conflict-driven nogood learning answer set solver
Изтегляне на gringo
Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|---|
alpha (неофициална архитектура) | 5.6.2-2 | 1 755,8 кБ | 16 573,0 кБ | [списък на файловете] |
amd64 | 5.6.2-2 | 1 839,8 кБ | 15 011,0 кБ | [списък на файловете] |
arm64 | 5.6.2-2+b1 | 1 709,6 кБ | 15 012,0 кБ | [списък на файловете] |
armel | 5.6.2-2 | 1 553,6 кБ | 13 559,0 кБ | [списък на файловете] |
armhf | 5.6.2-2 | 1 573,7 кБ | 11 295,0 кБ | [списък на файловете] |
hppa (неофициална архитектура) | 5.6.2-2 | 1 860,2 кБ | 16 190,0 кБ | [списък на файловете] |
i386 | 5.6.2-2 | 1 936,6 кБ | 15 319,0 кБ | [списък на файловете] |
ia64 (неофициална архитектура) | 5.2.2-2 | 2 640,4 кБ | 13 938,0 кБ | [списък на файловете] |
m68k (неофициална архитектура) | 5.6.2-2 | 1 787,6 кБ | 14 411,0 кБ | [списък на файловете] |
mips64el | 5.6.2-2 | 1 694,9 кБ | 17 428,0 кБ | [списък на файловете] |
ppc64 (неофициална архитектура) | 5.6.2-2 | 1 891,0 кБ | 18 851,0 кБ | [списък на файловете] |
ppc64el | 5.6.2-2 | 1 920,6 кБ | 17 699,0 кБ | [списък на файловете] |
riscv64 | 5.6.2-2 | 1 867,5 кБ | 13 153,0 кБ | [списък на файловете] |
s390x | 5.6.2-2 | 1 851,8 кБ | 16 017,0 кБ | [списък на файловете] |
sh4 (неофициална архитектура) | 5.6.2-2 | 2 034,3 кБ | 14 311,0 кБ | [списък на файловете] |
sparc64 (неофициална архитектура) | 5.6.2-1+b2 | 1 628,6 кБ | 19 408,0 кБ | [списък на файловете] |
x32 (неофициална архитектура) | 5.6.2-2 | 1 846,4 кБ | 14 419,0 кБ | [списък на файловете] |