SMT-RAT  2.1.0
Getting Started


Here are archived versions of SMT-RAT for download:

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.

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 SMT-RAT (with tests and documentation).
    $ make

Supported platforms

We have tested carl successfully on the following platforms:

  • Arch Linux (Kernel 3.19.2) with Clang 3.6.0 and GCC 4.9.2
  • Ubuntu 12.04 LTS with GCC 4.8.1
  • MacOSX 10.9 with Clang 3.3
  • MacOSX 10.9.1 with Clang 3.3

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.