Documentation

API and Code

• API documentation
• Implementation (doxygen) 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 from ETH Zurich - an upgrade to the VCC axiom profiler
• Z3 Axiom Profiler is a part of VCC

How To

• [Z3Py on Windows](Using Z3Py on Windows)
• [Building the unstable (work-in-progress) branch](Building the unstable branch) on OSX, Linux and FreeBSD

Latest activity as RSS feeds

• Questions on StackOverflow