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)