Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs

[Thomas Krennwallner <tkren@kr.tuwien.ac.at>]

Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : gringo
  Version         : 3.0.3
  Upstream Author : Potassco team
* URL             : http://www.cs.uni-potsdam.de/gringo/
* License         : GPL
  Programming Lang: C++
  Description     : An lparse-compatible grounder 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. Gringo is such a grounder. Its output can be processed
further with clasp, claspD, claspar, or claspfolio.