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

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 questions at StackOverflow

{rss:url=http://feeds.feedburner.com/z3questions,titlesOnly=true,max=10}