Giters

Koubska / carl

Home Page:http://smtrat.github.io/carl

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CArL - the Computer ARithmetic and Logic library.

Build and Test

Documentation

For more information, please checkout the docs.

About

http://smtrat.github.io/carl

License:Other

Languages

Language:C++ 91.5%Language:CMake 7.0%Language:Python 1.0%Language:Shell 0.3%Language:C 0.1%Language:Smarty 0.1%Language:Dockerfile 0.0%Language:PowerShell 0.0%