sp
/
Tempest_in_Action
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
23 Commits
1 Branch
0 Tags
26 MiB
 
 
 
 
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Tempest_in_Action/carl
sp ed0fc6134e
removed imagerecordercallback 		5 months ago
..
.ci initial commit 10 months ago
bindings initial commit 10 months ago
cmake initial commit 10 months ago
doc initial commit 10 months ago
doxygen-conf initial commit 10 months ago
resources initial commit 10 months ago
src initial commit 10 months ago
.appveyor.yml initial commit 10 months ago
.clang-format initial commit 10 months ago
CMakeLists.txt initial commit 10 months ago
LICENSE initial commit 10 months ago
README.md initial commit 10 months ago

README.md

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 Windows Build status Coverage Status Sonarcloud Status