Provided by: gringo_4.5.4-1_i386 bug

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)