[gringo] 14/20: gringo-manpages.patch: update for gringo series 5
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Dec 11 21:06:58 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit f5cf603c16547b9b4589cac67bcb879e11a33942
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sun Dec 11 09:11:58 2016 +0100
gringo-manpages.patch: update for gringo series 5
---
debian/patches/gringo-manpages.patch | 128 +++++++++++++++++++++++++++--------
1 file changed, 99 insertions(+), 29 deletions(-)
diff --git a/debian/patches/gringo-manpages.patch b/debian/patches/gringo-manpages.patch
index a983e80..8a16f98 100644
--- a/debian/patches/gringo-manpages.patch
+++ b/debian/patches/gringo-manpages.patch
@@ -1,28 +1,30 @@
From: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Wed, 7 Dec 2016 07:50:31 +0100
-Subject: Add gringo.1, clingo.1, and reify.1 manpages
+Subject: Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
===================================================================
---
- clingo.1 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
- gringo.1 | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
- reify.1 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
- 3 files changed, 163 insertions(+)
+ clingo.1 | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ gringo.1 | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ lpconvert.1 | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++
+ reify.1 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ 4 files changed, 225 insertions(+)
create mode 100644 clingo.1
create mode 100644 gringo.1
+ create mode 100644 lpconvert.1
create mode 100644 reify.1
diff --git a/clingo.1 b/clingo.1
new file mode 100644
-index 0000000..bf0d5fd
+index 0000000..ba04b34
--- /dev/null
+++ b/clingo.1
-@@ -0,0 +1,54 @@
+@@ -0,0 +1,58 @@
+.\" 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"
++.TH CLINGO 1 "December 11, 2016"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
@@ -50,12 +52,15 @@ index 0000000..bf0d5fd
+.\" 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.
++corresponds to that of clasp. This way it offers more control over the
++grounding and solving process than gringo and clasp can offer
++individually: multi-shot solving.
+.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.
++For a complete description, see the potassco-guide at
++https://sourceforge.net/projects/potassco/files/guide/.
+.TP
+.B \-h, \-\-help
+Show summary of options.
@@ -65,7 +70,8 @@ index 0000000..bf0d5fd
+.SH SEE ALSO
+.BR clasp (1),
+.BR gringo (1),
-+.BR reify (1).
++.BR lpconvert (1),
++.BR reify (1)
+.br
+.SH AUTHOR
+clingo was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
@@ -74,15 +80,15 @@ index 0000000..bf0d5fd
+for the Debian project (and may be used by others).
diff --git a/gringo.1 b/gringo.1
new file mode 100644
-index 0000000..97e6a03
+index 0000000..544a12a
--- /dev/null
+++ b/gringo.1
-@@ -0,0 +1,55 @@
+@@ -0,0 +1,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 "March 4, 2010"
++.TH GRINGO 1 "December 11, 2016"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
@@ -108,15 +114,19 @@ index 0000000..97e6a03
+.\" 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.
++\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.
++For a complete description, see the potassco-guide at
++https://sourceforge.net/projects/potassco/files/guide/.
+.TP
+.B \-h, \-\-help
+Show summary of options.
@@ -126,16 +136,76 @@ index 0000000..97e6a03
+.SH SEE ALSO
+.BR clasp (1),
+.BR clingo (1),
-+.BR reify (1).
++.BR lpconvert (1),
++.BR reify (1)
+.br
+.SH AUTHOR
+gringo was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
+diff --git a/lpconvert.1 b/lpconvert.1
+new file mode 100644
+index 0000000..f5d931e
+--- /dev/null
++++ b/lpconvert.1
+@@ -0,0 +1,53 @@
++.\" 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 LPCONVERT 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
++lpconvert \- converter between gringo's aspif and smodels format
++.SH SYNOPSIS
++.B lpconvert
++\fR[\fIOPTION\fR]... \fR[\fIFILE\fR]...
++.SH DESCRIPTION
++This manual page documents briefly the
++.B lpconvert
++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.
++\fBlpconvert\fP is a converter between gringo's aspif and 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
++https://sourceforge.net/projects/potassco/files/guide/2.0/.
++.TP
++.B \-h, \-\-help
++Show summary of options.
++.TP
++.B \-v, \-\-version
++Show version of program.
++.SH SEE ALSO
++.BR clasp (1),
++.BR gringo (1),
++.BR reify (1)
++.br
++.SH AUTHOR
++lpconvert was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
++.PP
++This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
++for the Debian project (and may be used by others).
diff --git a/reify.1 b/reify.1
new file mode 100644
-index 0000000..d818d34
+index 0000000..aea2db7
--- /dev/null
+++ b/reify.1
@@ -0,0 +1,54 @@
@@ -143,7 +213,7 @@ index 0000000..d818d34
+.\" 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 REIFY 1 "July 13, 2015"
++.TH REIFY 1 "December 11, 2016"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
@@ -169,15 +239,14 @@ index 0000000..d818d34
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
-+\fBreify\fP is a small utility that reifies logic programs, given on
-+standard input in smodels format. The gringo grounder produces
-+smodels format by default. The result of reify is a set of facts
-+given on standard output that can be processed further with gringo.
++\fBreify\fP is a small utility that reifies logic programs given in
++aspif format by reading standard input. It produces a set of facts,
++which can be processed further with gringo.
+.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.
++options starting with two dashes (`-'). A summary of options is
++included below. For a complete description, see the potassco-guide
++https://sourceforge.net/projects/potassco/files/guide/2.0/.
+.TP
+.B \-h, \-\-help
+Show summary of options.
@@ -187,6 +256,7 @@ index 0000000..d818d34
+.SH SEE ALSO
+.BR clasp (1),
+.BR gringo (1),
++.BR lpconvert (1)
+.br
+.SH AUTHOR
+reify was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list