Provided by: gringo_4.2.1-4_amd64
gringo - a grounder for non-ground logic programs
This manual page documents briefly the gringo command. gringo is a grounder for non-ground answer set 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.
These programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options is included below. For a complete description, see the potassco-guide. -h, --help Show summary of options. -v, --version Show version of program.
gringo was written by Roland Kaminski <email@example.com> This manual page was written by Thomas Krennwallner <firstname.lastname@example.org>, for the Debian project (and may be used by others). March 4, 2010 GRINGO(1)