Project Group: de.uni-freiburg.informatik.ultimate

de.uni-freiburg.informatik.ultimate

SMTInterpol

de.uni-freiburg.informatik.ultimate : smtinterpol

SMTInterpol is an interpolating SMT solver

Last Version: 2.5-1093-g7506c07c

Release Date: Mar 21, 2022