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.
kleinj/carl
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Languages
- C++ 91.6%
- CMake 6.2%
- Python 0.8%
- Java 0.7%
- Shell 0.5%
- Smarty 0.1%
- Other 0.1%