carl  19.10.56
Getting Started


We mirror our master branch to If you want to use the newest bleeding edge version, you can checkout from Although we try to keep the master branch stable, there is a chance that the current revision is broken. You can check here if the current revision compiles and all the unit tests work.

We regularly tag reasonably stable versions. You can find them at

Quick installation guide

  • Make sure all dependencies are available.
  • Download the latest release or clone the git repository from
  • Prepare the build.
    $ mkdir build && cd build && cmake ../
  • Build carl (with tests and documentation).
    $ make
    $ make test doc

Using CArL

CArL registers itself in the CMake system, hence to include CArL in any other CMake project, just use find_package(carl).

To use CArL in other projects, link against the shared or static library created in build/.

Supported platforms

We test carl on the following platforms:

  • Ubuntu 14.04 LTS with several compilers on Travis CI
  • OS X 10.11 with several compilers on Travis CI

We usually support at least all clang and gcc versions starting from those shipped with the latest Ubuntu LTS or Debian stable releases. As of now, this is clang-5 and newer and gcc-7 and newer.

Advanced building topics


If you're experiencing problems, take a look at our Troubleshooting section. If that doesn't help you, feel free to contact us.