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

An Efficient SMT Solver

SMT Links

Z3 is a Satisfiability Modulo Theories (SMT) solver.

• SMT-LIB
• SMT-COMP competition
• SMT on Wikipedia