Q: Where do I report bugs?
Submit bugs using the issue tracker and help us verify fixes as they are checked in. Bug reports are very valuable to us. Please do submit them.
Q: Where can I ask questions about Z3?
Engage with other Z3 users and developers on StackOverflow.
Q: What are the supported platforms?
Z3 can be compiled on Windows, OSX, Linux (Debian, Ubuntu), and FreeBSD. We have successfully compiled it using Visual Studio, g++ and clang++, and we publish releases and nightly builds for them.
Q: Which API should I use?
We provide APIs for many different programming languages: C, C++, .Net, Python, Java, and OCaml.
See directory src/api for all available APIs.
Q: What is the license for Z3?
Z3 is published under the MIT license.
Q: How can I download Z3 version < 4.2?
The page Older Versions contains Z3 releases from the time before we released the source code.