.\"                                      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 <n>    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<whatever>\fP and
.\" \fI<whatever>\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 <Torsten.Grote@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).