--- /dev/null
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH CLINGO 1 "March 4, 2010"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+clingo \- a combination of clasp and gringo
+.SH SYNOPSIS
+.B clingo
+.RI [options] [files]
+.SH DESCRIPTION
+This manual page documents briefly the
+.B clingo
+command.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+\fBclingo\fP 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.
+.SH 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.
+.TP
+.B \-h, \-\-help
+Show summary of options.
+.TP
+.B \-v, \-\-version
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
+.BR claspD (1),
+.BR gringo (1),
+.BR iclingo (1).
+.br
+.SH AUTHOR
+clingo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
--- /dev/null
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH GRINGO 1 "March 4, 2010"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+gringo \- a grounder for non-ground logic programs
+.SH SYNOPSIS
+.B gringo
+.RI [options] [files]
+.SH DESCRIPTION
+This manual page documents briefly the
+.B gringo
+command.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+\fBgringo\fP 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.
+.SH 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.
+.TP
+.B \-h, \-\-help
+Show summary of options.
+.TP
+.B \-v, \-\-version
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
+.BR claspD (1),
+.BR clingo (1),
+.BR iclingo (1).
+.br
+.SH AUTHOR
+gringo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
--- /dev/null
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH ICLINGO 1 "March 4, 2010"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+iclingo \- an incremental ASP system
+.SH SYNOPSIS
+.B iclingo
+.RI [options] [files]
+.SH DESCRIPTION
+This manual page documents briefly the
+.B iclingo
+command.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+\fBiclingo\fP is an incremental ASP system implemented on top of
+clingo. It is based on the idea that the grounder as well as the
+solver are implemented in a stateful way. Thus, both keep their
+previous states while increasing an incremental parameter. As regards
+grounding, at each incremental step, the goal is to produce only
+ground rules stemming from the current program slice, without
+re-producing previous ground rules. The ground program slices are then
+gradually passed to the solver that accumulates ground rules and
+computes answer sets for them.
+.SH 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.
+.TP
+.B \-h, \-\-help
+Show summary of options.
+.TP
+.B \-v, \-\-version
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
+.BR claspD (1),
+.BR clingo (1),
+.BR gringo (1).
+.br
+.SH AUTHOR
+iclingo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
projects / gringo.git / commitdiff