# SMTInterpol | Formal Methods Tools
SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories. APIs and Bindings This tool is available through the following
Keywords: Formal Methods Tools

# SMTInterpol

Interpolating SMT Solver

- Homepage
- Source Code

## At a Glance

Applications | SMT Solver
Developers | University of Freiburg
Inputs | SMTLIB2
Interfaces | CLI Java
Licenses | GPLv3
Maintenance | Actively Maintained

## Description

SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories.

## APIs and Bindings

This tool is available through the following interfaces:

- Java API: Java API Reference

## Publications

- Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality (2021) by Henkel, Elisabeth et. al. | Appears in SMT 2021 | https://ceur-ws.org/Vol-2908/short12.pdf