[ Source: gringo ]
Package: gringo (5.6.2-1 and others)
Links for gringo
Debian Resources:
Download Source Package gringo:
Maintainers:
External Resources:
- Homepage [www.potassco.org]
Similar packages:
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.
Other Packages Related to gringo
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, m68k, sh4]
- biblioteca de apoio que provê funções embutidas __atomic
-
- dep: libc6 (>= 2.34) [not alpha, ia64, sh4]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.26) [ia64]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- Biblioteca de suporte GCC
- 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]
- Biblioteca de suporte GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- Biblioteca de suporte GCC
-
- dep: libgcc1 (>= 1:4.2) [ia64]
- Package not available
-
- dep: liblua5.3-0 [ia64]
- Shared library for the Lua interpreter version 5.3
-
- dep: liblua5.4-0 (>= 5.4.6) [not ia64]
- Shared library for the Lua interpreter version 5.4
-
- dep: libpython2.7 (>= 2.7) [ia64]
- Package not available
-
- dep: libpython3.11t64 (>= 3.11.5) [not ia64]
- biblioteca em tempo de execução Python compartilhada (versão 3.11)
-
- dep: libstdc++6 (>= 13.1) [not ia64]
- Biblioteca C++ padrão da GNU v3
- dep: libstdc++6 (>= 7) [ia64]
-
- dep: libunwind8 [ia64]
- biblioteca para determinar a cadeia de chamadas de um programa - execução
-
- dep: python3 [not ia64]
- linguagem orientada a objetos de alto nível e interativa (versão python3 padrão)
- dep: python3 (<< 3.12) [not ia64]
- dep: python3 (>= 3.11~) [not ia64]
-
- dep: python3-cffi [not ia64]
- Foreign Function Interface for Python 3 calling C code
-
- rec: clasp
- conflict-driven nogood learning answer set solver
Download gringo
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 5.6.2-1+b1 | 1,878.1 kB | 17,910.0 kB | [list of files] |
amd64 | 5.6.2-1+b1 | 1,990.3 kB | 16,250.0 kB | [list of files] |
arm64 | 5.6.2-1+b1 | 1,752.4 kB | 16,218.0 kB | [list of files] |
armel | 5.6.2-1+b1 | 1,645.5 kB | 14,668.0 kB | [list of files] |
armhf | 5.6.2-1+b1 | 1,701.9 kB | 12,200.0 kB | [list of files] |
hppa (unofficial port) | 5.6.2-1+b2 | 1,983.5 kB | 17,353.0 kB | [list of files] |
i386 | 5.6.2-1+b1 | 2,056.1 kB | 16,416.0 kB | [list of files] |
ia64 (unofficial port) | 5.2.2-2 | 2,640.4 kB | 13,938.0 kB | [list of files] |
m68k (unofficial port) | 5.6.2-1+b1 | 1,809.5 kB | 15,352.0 kB | [list of files] |
mips64el | 5.6.2-1+b1 | 1,759.8 kB | 18,647.0 kB | [list of files] |
ppc64 (unofficial port) | 5.6.2-1+b1 | 1,997.8 kB | 20,570.0 kB | [list of files] |
ppc64el | 5.6.2-1+b1 | 1,994.7 kB | 19,226.0 kB | [list of files] |
riscv64 | 5.6.2-1+b1 | 1,979.3 kB | 14,212.0 kB | [list of files] |
s390x | 5.6.2-1+b1 | 2,013.5 kB | 17,452.0 kB | [list of files] |
sh4 (unofficial port) | 5.6.2-1+b1 | 2,163.9 kB | 15,373.0 kB | [list of files] |
sparc64 (unofficial port) | 5.6.2-1+b1 | 1,624.0 kB | 19,408.0 kB | [list of files] |
x32 (unofficial port) | 5.6.2-1+b1 | 1,980.5 kB | 15,440.0 kB | [list of files] |