« August 2017 »
August
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
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 and linear arithmetic over rationals and integers.

The solver is developed by Jochen Hoenicke, Jürgen Christ,and Alexander Nutz. The website of SMTInterpol is http://ultimate.informatik.uni-freiburg.de/smtinterpol/.

Personal tools