Sciweavers

SPIN
2012
Springer

SMTInterpol: An Interpolating SMT Solver

12 years 1 months ago
SMTInterpol: An Interpolating SMT Solver
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quantifier-free fragment of the combination of the theory of uninterpreted functions and the theory of linear arithmetic over integers and reals. SMTInterpol is SMTLIB 2 compliant and available under an open source software license (LGPL v3).
Jürgen Christ, Jochen Hoenicke, Alexander Nut
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where SPIN
Authors Jürgen Christ, Jochen Hoenicke, Alexander Nutz
Comments (0)