carl
24.04
Computer ARithmetic Library
|
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/ths-rwth/carl. 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 https://github.com/ths-rwth/carl/releases.
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/
.
We test carl on the following platforms:
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-13
and newer and gcc-11
and newer.
If you're experiencing problems, take a look at our Troubleshooting section. If that doesn't help you, feel free to contact us.