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

Contact

Jasper Nalbach <nalbach@cs.rwth-aachen.de>
Valentin Promies <promies@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)