CLINGO(1) General Commands Manual CLINGO(1)
NAME
clingo - a combination of clasp and gringo
SYNOPSIS
clingo [options][files]
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 corre-
sponds 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), claspD(1), gringo(1), iclingo(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)
