coala
======

Coala translates action languages into a logic programs 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.

1. Requirements
---------------

- gcc >=3.x
- cmake >=2.4
- flex >=2.5.33
- bison++


2. Compilation
--------------

To compile coala switch into the source directory and run the following
commands:

	1. cd build
	2. ./configure
	3. make

Afterwards, the coala binary and the coala script can be found in ../bin/.

2.1. Compilation without Flex and Bison++
-----------------------------------------

It is possible to compile coala without flex and bison++.
You just need to set the variable USE_FLEX_BISON to false in CMakeLists.txt

If you do this, the pregenerated scanner and parser files will be used.
These files are only included in the released source packages,
not in the SVN trunk.
You will not be able to make changes to the scanner or parser this way.
Get flex and bison++ if you want to make changes.

3. Contact
----------

Author: tgrote at cs dot uni-potsdam dot de
Homepage: http://www.cs.uni-potsdam.de/~tgrote/coala/
