GRINGO

Section: User Commands (1) Updated: March 4, 2010 Local index Up

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.

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).

This document was created by man2html, using the manual pages.
Time: 07:52:33 GMT, June 15, 2011