Documentation

API and Code

• API documentation

Online tutorials

• Z3 SMT 2.0
• Z3 fixed-points
• Z3 strategies

Background material

• Browse our Slides
• Read our Papers

Bug Reports & Questions:

• Submit bug reports
• Engage with other Z3 users and developers on StackOverflow

Axiom Profiling

• SMT Axiom Profiler currently developed by ETH Zurich - an upgrade to the VCC axiom profiler

How To

• Z3Py on Windows

Latest activity as RSS feeds

• Questions on StackOverflow