debian man page for clingo

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)