Provided by: gringo_4.5.4-1_amd64 bug

NAME

       clingo - a combination of clasp and gringo

SYNOPSIS

       clingo [OPTION]... [FILE]...

DESCRIPTION

       This manual page documents briefly the clingo command.

       clingo stands for clasp on gringo and combines both systems in a monolithic way. Its input
       language is that of gringo and its output corresponds to that of clasp.

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

AUTHOR

       clingo 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                                CLINGO(1)