debian man page for gringo

GRINGO(1)						      General Commands Manual							 GRINGO(1)

NAME
       gringo - a grounder for non-ground logic programs

SYNOPSIS
       gringo [options][files]

DESCRIPTION
       This manual page documents briefly the gringo command.

       gringo  is  a  grounder for non-ground answer set programs. Current answer set solvers work on variable-free programs. Hence, a grounder is
       needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.

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), clingo(1), iclingo(1).

AUTHOR
       gringo 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							 GRINGO(1)