Subproject

R1

Categories

Core algorithms

Overview

SMT solver that produces proofs, models, and Craig interpolants.

Publications

---

Benchmarks

SMTLIB (QF_UF, QF_LIA, QF_LRA, QF_UFLIA, QF_UFLRA)

Download

See swt.informatik.uni-freiburg.de/research/tools/smtinterpol

Manual

See swt.informatik.uni-freiburg.de/research/tools/smtinterpol

Status

Stable