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)

Name		Name	Last commit message	Last commit date
Latest commit History 8,409 Commits
.ci		.ci
.github		.github
cmake		cmake
doc		doc
resources		resources
src		src
utilities		utilities
.clang-format		.clang-format
.codeclimate.yml		.codeclimate.yml
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
smtrat.pc.in		smtrat.pc.in