/carl-parser

Parser for carl data structures

Primary LanguageC++

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:

Building

Build carl-parser with

mkdir build
cd build
cmake ..
make

You can run tests with

make test

Frequent errors

On macOS, there is a known problem with the rpath, which might lead to an error when executing the tests. The problem can be alleviated by re-running both

cmake ..
make

Authors:

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