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

An Efficient SMT Solver

Mailing Lists & Forums

• Z3 Forum: it is intended for general discussions involving Z3.

• z3bugs@microsoft.com: Bug report list (you can also send suggestions here).