« April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Uni-Logo
You are here: Home Tools SMTInterpol
Document Actions

SMTInterpol

SMTInterpol is an SMT-Solver which can compute Craig interpolants for the quantifier free combined theory of uninterpreted functions, linear arithmetic over rationals and integers, and arrays.

The solver is developed by Jochen Hoenicke, Alexander Nutz and Tanja Schindler. Previous contributors include Jürgen Christ.

The website of SMTInterpol is http://ultimate.informatik.uni-freiburg.de/smtinterpol/.

Personal tools