SMT-RAT  2.1.0
ToolboxforStrategicandParallelSatisfiability-Modulo-TheoriesSolving
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Friends Pages
Getting Started

Download

Here are archived versions of SMT-RAT for download:

We mirror our master branch to github.com. If you want to use the newest bleeding edge version, you can checkout from https://github.com/smtrat/smtrat. 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 https://github.com/smtrat/smtrat.git
  • 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

Troubleshooting

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