swMATH ID: 7406
Software Authors: Jochen Hoenicke, Jürgen Christ, Alexander Nutz
Description: SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories. The solver is developed at the Chair of Software Engineering at the University of Freiburg. The solver is written in Java and can be used on any operating system that supports Java Version 6. The solver reads input in SMTLIB Version 2 format.
Homepage: http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Programming Languages: Java
Related Software: z3; MathSAT5; CVC4; CPAchecker; SMT-LIB; Ultimate Automizer; Yices; CBMC; UFO; AProVE; veriT; Isabelle/HOL; Coq; APT; SatAbs; KLEE; SLAM; BLAST; LLVM; DiVinE
Cited in: 22 Publications

Citations by Year