Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

Awards

Z3 has participated in the SMT-COMP'07 competition associated with CAV. Z3 has done very well, it took 4 first places and 7 second places.