all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: gringo  ]

Package: gringo (4.3.0-1 and others)

Links for gringo

Screenshot

Debian Resources:

Download Source Package gringo:

Maintainers:

External Resources:

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: creates lparse-compatible 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, which 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.
 - oclingo: a system for reactive answer set programming, extending
   gringo and clasp for handling external modules provided at runtime
   by a controller.

Tags: Role: Program

Other Packages Related to gringo

  • depends
  • recommends
  • suggests
  • enhances

Download gringo

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 4.3.0-1 1,513.7 kB6,145.0 kB [list of files]
amd64 4.3.0-1 1,465.3 kB5,074.0 kB [list of files]
armel 4.3.0-1 1,271.6 kB4,297.0 kB [list of files]
armhf 4.3.0-1 1,303.6 kB3,313.0 kB [list of files]
hppa (unofficial port) 4.3.0-1 1,547.5 kB5,844.0 kB [list of files]
hurd-i386 4.3.0-1 1,452.8 kB4,873.0 kB [list of files]
i386 4.3.0-1 1,454.1 kB4,776.0 kB [list of files]
kfreebsd-amd64 4.3.0-1 1,394.3 kB4,578.0 kB [list of files]
kfreebsd-i386 4.3.0-1 1,387.1 kB4,434.0 kB [list of files]
m68k (unofficial port) 4.2.1-3 788.6 kB3,559.0 kB [list of files]
mips 4.3.0-1 1,404.5 kB6,130.0 kB [list of files]
mipsel 4.3.0-1 1,436.5 kB6,142.0 kB [list of files]
powerpc 4.3.0-1 1,398.5 kB5,614.0 kB [list of files]
powerpcspe (unofficial port) 4.2.1-4 826.3 kB4,471.0 kB [list of files]
ppc64 (unofficial port) 4.3.0-1 1,456.3 kB6,807.0 kB [list of files]
s390x 4.3.0-1 1,487.1 kB6,082.0 kB [list of files]
sh4 (unofficial port) 3.0.5-1+b1 1,536.9 kB3,764.0 kB [list of files]
sparc 4.3.0-1 1,319.1 kB5,063.0 kB [list of files]
x32 (unofficial port) 4.3.0-1 1,469.5 kB4,809.0 kB [list of files]