xenial (1) gringo.1.gz

NAME

       gringo - a grounder for non-ground logic programs

SYNOPSIS

       gringo [OPTION]... [FILE]...

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), clingo(1), reify(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).

                                                 March  4, 2010                                        GRINGO(1)