SMT-RAT - Satisfiability-Modulo-Theories Real Algebra Toolbox

Contact

Jasper Nalbach <nalbach@cs.rwth-aachen.de>

Documentation

For more information, please checkout the docs.

SMT-RAT documentation
CArL documentation (SMT-RAT depends on CArL for formula and polynomial data structures and basic operations)

About

http://smtrat.github.io/

Other

Languages

Language:C++ 92.7%Language:CMake 4.6%Language:Shell 1.1%Language:Python 0.6%Language:HTML 0.5%Language:XSLT 0.3%Language:Batchfile 0.1%Language:C 0.0%Language:Dockerfile 0.0%