Author: Thomas Krennwallner Description: Add manpages for coala and coala.bin. Index: coala-1.0.1_src/coala.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ coala-1.0.1_src/coala.1 2010-12-06 19:33:02.656645001 +0100 @@ -0,0 +1,59 @@ +.\" 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 COALA 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 insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +coala \- a versatile compiler from action languages to answer set programs +.SH SYNOPSIS +.B coala +.RI [options] file [number] +.SH DESCRIPTION +This manual page documents briefly the +.B coala +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBcoala\fP is a versatile compiler from action languages to answer +set programs. It supports different encodings, variables and LTL style +queries. It translates an action language into a logic program under +the answer set semantics. After being grounded by \fBlparse\fP or +\fBgringo\fP, the logic program can be solved by an answer set solver +such as \fBclasp\fP. At the moment \fBcoala\fP is able to translate +the action language AL, B, C, a subset of C+ and the action language +CTAID. The type of input language can be specified with a command line +option. +.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 \-\-version +Show version of program. +.SH SEE ALSO +.BR clasp (1), +.BR gringo (1). +.br +.SH AUTHOR +coala was written by Torsten Grote +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). Index: coala-1.0.1_src/coala.bin.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ coala-1.0.1_src/coala.bin.1 2010-12-06 19:34:27.206644897 +0100 @@ -0,0 +1,57 @@ +.\" 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 COALA.BIN 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 insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +coala.bin \- a versatile compiler from action languages to answer set programs +.SH SYNOPSIS +.B coala.bin +.RI [options] file +.SH DESCRIPTION +This manual page documents briefly the +.B coala.bin +command. +.PP +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +\fBcoala.bin\fP is a versatile compiler from action languages to answer +set programs. It supports different encodings, variables and LTL style +queries. It translates an action language into a logic program under +the answer set semantics. After being grounded by \fBlparse\fP or +\fBgringo\fP, the logic program can be solved by an answer set solver +such as \fBclasp\fP. At the moment \fBcoala.bin\fP is able to translate +the action language AL, B, C, a subset of C+ and the action language +CTAID. The type of input language can be specified with a command line +option. +.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. +.SH SEE ALSO +.BR coala (1), +.BR clasp (1), +.BR gringo (1). +.br +.SH AUTHOR +coala.bin was written by Torsten Grote +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others).