Name		Name	Last commit message	Last commit date
.ci		.ci
.github		.github
cmake		cmake
doc		doc
resources		resources
src		src
.clang-format		.clang-format
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md

Repository files navigation

CArL - the Computer ARithmetic and Logic library.

Documentation

For more information, please checkout the docs.

CArL documentation

About

smtrat.github.io/carl

Custom properties

31 stars

7 watching

Report repository

Releases

Packages

Used by

Contributors

Languages