Pacote: gringo (5.6.2-2 e outros)

[ Fonte: gringo  ]

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.

Etiquetas: Função: Programa

Outros pacotes relacionados a gringo

• dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

  biblioteca de apoio que provê funções embutidas __atomic

• dep: libc6 (>= 2.37) [sh4]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

  dep: libc6 (>= 2.38) [não alpha, ia64, sh4]

• dep: libc6.1 (>= 2.26) [ia64]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6.1-udeb

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, 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]

  Pacote não disponível

• dep: liblua5.3-0 [ia64]

  Shared library for the Lua interpreter version 5.3

• dep: liblua5.4-0 (>= 5.4.6) [não ia64]

  Shared library for the Lua interpreter version 5.4

• dep: libpython2.7 (>= 2.7) [ia64]

  Pacote não disponível

• dep: libstdc++6 (>= 13.1) [não arm64, ia64, sparc64]

  Biblioteca C++ padrão da GNU v3

  dep: libstdc++6 (>= 14) [arm64, sparc64]

  dep: libstdc++6 (>= 7) [ia64]

• dep: libunwind8 [ia64]

  biblioteca para determinar a cadeia de chamadas de um programa - execução

• rec: clasp

  conflict-driven nogood learning answer set solver

Download de gringo

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	5.6.2-2	1,755.8 kB	16,573.0 kB	[lista de arquivos]
amd64	5.6.2-2	1,839.8 kB	15,011.0 kB	[lista de arquivos]
arm64	5.6.2-2+b1	1,709.6 kB	15,012.0 kB	[lista de arquivos]
armel	5.6.2-2	1,553.6 kB	13,559.0 kB	[lista de arquivos]
armhf	5.6.2-2	1,573.7 kB	11,295.0 kB	[lista de arquivos]
hppa (porte não oficial)	5.6.2-2	1,860.2 kB	16,190.0 kB	[lista de arquivos]
i386	5.6.2-2	1,936.6 kB	15,319.0 kB	[lista de arquivos]
ia64 (porte não oficial)	5.2.2-2	2,640.4 kB	13,938.0 kB	[lista de arquivos]
loong64 (porte não oficial)	5.6.2-2	1,699.5 kB	14,849.0 kB	[lista de arquivos]
m68k (porte não oficial)	5.6.2-2	1,787.6 kB	14,411.0 kB	[lista de arquivos]
mips64el	5.6.2-2	1,694.9 kB	17,428.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	5.6.2-2	1,891.0 kB	18,851.0 kB	[lista de arquivos]
ppc64el	5.6.2-2	1,920.6 kB	17,699.0 kB	[lista de arquivos]
riscv64	5.6.2-2	1,867.5 kB	13,153.0 kB	[lista de arquivos]
s390x	5.6.2-2	1,851.8 kB	16,017.0 kB	[lista de arquivos]
sh4 (porte não oficial)	5.6.2-2	2,034.3 kB	14,311.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	5.6.2-2	1,545.7 kB	18,057.0 kB	[lista de arquivos]
x32 (porte não oficial)	5.6.2-2	1,846.4 kB	14,419.0 kB	[lista de arquivos]