1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
.\" 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 "December 11, 2016"
.\" 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
[\fIOPTION\fR]... \fR[\fIFILE\fR]...
.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 that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program in
aspif format. Its output can be processed further with answer set solver
clasp. Starting with gringo series 5, its output is no longer directly
compatible with solvers like smodels or cmodels reading smodels format.
Use the \fBlpconvert\fP converter for translating aspif format to
smodels format.
.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 at
https://sourceforge.net/projects/potassco/files/guide/.
.TP
.B \-h, \-\-help
Show summary of options.
.TP
.B \-v, \-\-version
Show version of program.
.SH SEE ALSO
.BR clasp (1),
.BR clingo (1),
.BR lpconvert (1),
.BR reify (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).
|
