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