Public bug reported: 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.
URL: http://potassco.sourceforge.net/#gringo License: GPL-3 Notes: There are ready-to-install debs available at ppa:tkren/asp, see https://launchpad.net/~tkren/+archive/asp and http://www.kr.tuwien.ac.at/staff/tkren/deb.html ** Affects: ubuntu Importance: Undecided Assignee: Thomas Krennwallner (tkren) Status: In Progress ** Tags: needs-packaging ** Changed in: ubuntu Assignee: (unassigned) => Thomas Krennwallner (tkren) ** Changed in: ubuntu Status: New => In Progress -- [needs-packaging] gringo https://bugs.launchpad.net/bugs/607597 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs