Gringo A grounder for the answer set solvers.
Download

Gringo Ranking & Summary

Gringo Tags

calculate Variable Remove Variable

Gringo Description

Gringo is a compact application that can be used to calculate the ground-equivalent program by using a give s set of variables. The role of the application is to act as a grounder for the answer set solvers that work with variables. If you need to use an answer set solvers and you need to remove the variables from a given program, this tool can be of help.

Gringo Related Software