xenial (1) iclingo.1.gz

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)