NAME

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

SYNOPSIS

       coala.bin [options]file

DESCRIPTION

       This manual page documents briefly the coala.bin command.

       coala.bin  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.bin 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.

SEE ALSO

       coala(1), clasp(1), gringo(1).

AUTHOR

       coala.bin 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.BIN(1)