Interpolating SMT-solver computing Craig interpolants for various theories
http://ultimate.informatik.uni-freiburg.de/smtinterpol/