NAME¶
gringo - a grounder for non-ground logic programs
SYNOPSIS¶
gringo [options]
[files]
DESCRIPTION¶
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.
OPTIONS¶
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.
SEE ALSO¶
clasp(1),
claspD(1),
clingo(1),
iclingo(1).
AUTHOR¶
gringo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
This manual page was written by Thomas Krennwallner
<tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by
others).