# SMT-RAT | Formal Methods Tools
SMT-RAT is an SMT Real Algebra Toolbox. APIs and Bindings This tool is available through the following interfaces: C++ API: C++ API Reference
Keywords: Formal Methods Tools

# SMT-RAT

SMT Toolbox

- Homepage
- Source Code

## At a Glance

Applications | Constraint Solver SMT Solver Theorem Prover
Developers | RWTH Aachen
Inputs | SMTLIB2
Interfaces | CLI C++
Licenses | MIT
Maintenance | Actively Maintained

## Description

SMT-RAT is an SMT Real Algebra Toolbox.

## APIs and Bindings

This tool is available through the following interfaces:

- C++ API: C++ API Reference

## Publications

- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (2015) by Corzilius, Florian et. al. | Appears in SAT 2015 (360-368) | Published by Springer | 10.1007/978-3-319-24318-4_26

Updated June 7, 2025