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

A getting started guide can be found 
- in markdown at doc/markdown/getting_started.md
- in html at doc/html/getting_started.html

For more information, please checkout the docs.