Z3 Solver

Language:
English
Z3 is an SMT solver that combines several theory solvers into a combined framework. Last published: August 9, 2012.