4.0.0 de.uni-freiburg.informatik.ultimate smtinterpol 2.5 jar SMTInterpol SMTInterpol is an interpolating SMT solver https://ultimate.informatik.uni-freiburg.de/smtinterpol/ GNU LESSER GENERAL PUBLIC LICENSE http://www.gnu.org/licenses/lgpl-3.0.en.html Ultimate https://ultimate.informatik.uni-freiburg.de scm:git:https://github.com/ultimate-pa/smtinterpol.git scm:git:git@github.com:ultimate-pa/smtinterpol.git https://github.com/ultimate-pa/smtinterpol Jochen Hoenicke hoenicke@informatik.uni-freiburg.de Jürgen Christ christj@informatik.uni-freiburg.de Alexander Nutz nutz@informatik.uni-freiburg.de Tanja Schindler schindle@informatik.uni-freiburg.de