Interpolating SMT-solver computing Craig interpolants for various theories
