This is the README for CArL - the Computer ARithmetic and Logic library.

A getting started guide can be found at http://smtrat.github.io/carl/getting_started.html

For more information, please checkout the docs.

[![Build Status](https://travis-ci.org/smtrat/carl.svg?branch=master)](https://travis-ci.org/smtrat/carl)
[![Windows Build status](https://ci.appveyor.com/api/projects/status/lk4i6p3nnfmuicea?svg=true)](https://ci.appveyor.com/project/smtrat/carl)
[![Coverage Status](https://sonarcloud.io/api/project_badges/measure?project=carl&metric=coverage)](https://sonarcloud.io/dashboard/index/carl)
[![Sonarcloud Status](https://sonarcloud.io/api/project_badges/measure?project=carl&metric=alert_status)](https://sonarcloud.io/dashboard?id=carl)