xenial (1) coala.1.gz

Provided by: coala_1.0.1-5_amd64 bug

NAME
       coala - a versatile compiler from action languages to answer set programs


SYNOPSIS
       coala [options]file[number]


DESCRIPTION
       This manual page documents briefly the coala command.

       coala  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 lparse or gringo, the logic program can be solved by an
       answer set solver such as clasp. At the moment coala 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.


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.

       -h, --help
              Show summary of options.

       --version
              Show version of program.


SEE ALSO
       clasp(1), gringo(1).


AUTHOR
       coala was written by Torsten Grote <Torsten.Grote@uni-potsdam.de>

       This  manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and
       may be used by others).

                                                 March  4, 2010                                         COALA(1)