Package: gringo (3.0.5-1 and others)

[ Source: 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: creates lparse-compatbile variable-free programs.
 - clingo: stands for clasp on gringo and combines both systems in
   a monolithic way. Its input language is that of gringo and its
   output corresponds to that of clasp.
 - iclingo: an incremental answer set programming system
   implemented on top of clingo. It is based on the idea that the
   grounder as well as the solver are implemented in a stateful way.
   Thus, both keep their previous states while increasing an
   incremental parameter. As regards grounding, at each incremental
   step, the goal is to produce only ground rules stemming from the
   current program slice, without re-producing previous ground rules.
   The ground program slices are then gradually passed to the solver
   that accumulates ground rules and computes answer sets for them.

Tags: Role: Program

Other Packages Related to gringo

• dep: libboost-filesystem1.42.0 (>= 1.42.0-1) [hppa]

  Package not available

• dep: libboost-filesystem1.49.0 (>= 1.49.0-1) [not hppa]

  filesystem operations (portable paths, iteration over directories, etc) in C++

• dep: libboost-system1.42.0 (>= 1.42.0-1) [hppa]

  Package not available

• dep: libboost-system1.49.0 (>= 1.49.0-1) [not hppa]

  Operating system (e.g. diagnostics support) library

• dep: libc0.1 (>= 2.14) [kfreebsd-amd64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

  dep: libc0.1 (>= 2.3) [kfreebsd-i386]

• dep: libc0.3 (>= 2.12) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.1.3) [m68k]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.11) [hppa]

  dep: libc6 (>= 2.13) [sh4]

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.3.6-6~) [i386]

  dep: libc6 (>= 2.4) [armel, armhf, mips, mipsel, powerpc, powerpcspe, s390, s390x]

  dep: libc6 (>= 2.6) [sparc]

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

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

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

• dep: libgcc1 [powerpcspe]

  GCC support library

  dep: libgcc1 (>= 1:4.1.1) [alpha, amd64, i386, ia64, kfreebsd-amd64, kfreebsd-i386, s390x, sparc]

  dep: libgcc1 (>= 1:4.2.1) [mips, mipsel, powerpc, s390, sh4]

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  dep: libgcc1 (>= 4.2.1) [hurd-i386]

• dep: libgcc2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc4 (>= 4.1.1) [hppa]

  GCC support library

• dep: liblua5.1-0

  Shared library for the Lua interpreter version 5.1

• dep: libstdc++6 [powerpcspe]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 4.4.0) [hppa]

  dep: libstdc++6 (>= 4.6) [not hppa, powerpcspe]

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

• rec: clasp

  conflict-driven nogood learning answer set solver

• sug: potassco-guide

  Package not available

Download gringo

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.0.5-1	1,726.9 kB	4,790.0 kB	[list of files]
amd64	3.0.5-1	1,526.8 kB	3,906.0 kB	[list of files]
armel	3.0.5-1	1,374.1 kB	3,280.0 kB	[list of files]
armhf	3.0.5-1	1,274.8 kB	2,540.0 kB	[list of files]
hppa (unofficial port)	3.0.3-4	1,681.4 kB	4,088.0 kB	[list of files]
hurd-i386	3.0.5-1	1,321.8 kB	3,036.0 kB	[list of files]
i386	3.0.5-1	1,546.5 kB	3,740.0 kB	[list of files]
ia64	3.0.5-1	2,453.8 kB	7,979.0 kB	[list of files]
kfreebsd-amd64	3.0.5-1	1,325.7 kB	3,089.0 kB	[list of files]
kfreebsd-i386	3.0.5-1	1,321.7 kB	3,004.0 kB	[list of files]
m68k (unofficial port)	3.0.4-4	1,348.6 kB	3,522.0 kB	[list of files]
mips	3.0.5-1	1,474.5 kB	4,161.0 kB	[list of files]
mipsel	3.0.5-1	1,471.8 kB	4,173.0 kB	[list of files]
powerpc	3.0.5-1	1,594.1 kB	4,033.0 kB	[list of files]
powerpcspe (unofficial port)	3.0.5-1	1,611.9 kB	4,050.0 kB	[list of files]
s390	3.0.4-4	1,544.0 kB	3,855.0 kB	[list of files]
s390x	3.0.5-1	1,687.1 kB	4,568.0 kB	[list of files]
sh4 (unofficial port)	3.0.4-4	1,536.0 kB	3,766.0 kB	[list of files]
sparc	3.0.5-1	1,455.0 kB	3,796.0 kB	[list of files]