Provided by: gringo_4.5.4-1_i386 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)