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)