Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs
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.
Reply to: