README.md

Parser for carl data structures

This is an ANTLR-based parser which is meant as an extension to CArL.

Requirements

The parser requires the following tools:

• CArL
• Java

Building

Build carl-parser with

mkdir build
cd build
cmake ..
make

You can run tests with

make test

Authors:

• Harold Bruintjes
• Sebastian Junges
• Gereon Kremer
• Matthias Volk