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)