Paket: gringo (5.6.2-2 och andra)

[ Källkod: 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.

Märken: Role: Program

Andra paket besläktade med gringo

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

  support library providing __atomic built-in functions

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

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.38) [ej alpha, ia64, sh4]

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

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

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

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  GCC stödbibliotek

  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 stödbibliotek

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC stödbibliotek

• dep: libgcc1 (>= 1:4.2) [ia64]

  Paketet inte tillgängligt

• dep: liblua5.3-0 [ia64]

  Shared library for the Lua interpreter version 5.3

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

  Shared library for the Lua interpreter version 5.4

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

  Paketet inte tillgängligt

• dep: libpython3.12t64 (>= 3.12.1) [sparc64]

  Shared Python runtime library (version 3.12)

• dep: libstdc++6 (>= 13.1) [ej arm64, ia64]

  GNU standardbibliotek v3 för C++

  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

Hämta gringo

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	5.6.2-2	1.755,8 kbyte	16.573,0 kbyte	[filförteckning]
amd64	5.6.2-2	1.839,8 kbyte	15.011,0 kbyte	[filförteckning]
arm64	5.6.2-2+b1	1.709,6 kbyte	15.012,0 kbyte	[filförteckning]
armel	5.6.2-2	1.553,6 kbyte	13.559,0 kbyte	[filförteckning]
armhf	5.6.2-2	1.573,7 kbyte	11.295,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	5.6.2-2	1.860,2 kbyte	16.190,0 kbyte	[filförteckning]
i386	5.6.2-2	1.936,6 kbyte	15.319,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	5.2.2-2	2.640,4 kbyte	13.938,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	5.6.2-2	1.787,6 kbyte	14.411,0 kbyte	[filförteckning]
mips64el	5.6.2-2	1.694,9 kbyte	17.428,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	5.6.2-2	1.891,0 kbyte	18.851,0 kbyte	[filförteckning]
ppc64el	5.6.2-2	1.920,6 kbyte	17.699,0 kbyte	[filförteckning]
riscv64	5.6.2-2	1.867,5 kbyte	13.153,0 kbyte	[filförteckning]
s390x	5.6.2-2	1.851,8 kbyte	16.017,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	5.6.2-2	2.034,3 kbyte	14.311,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	5.6.2-1+b2	1.628,6 kbyte	19.408,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	5.6.2-2	1.846,4 kbyte	14.419,0 kbyte	[filförteckning]