forked from Z3Prover/z3
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Christoph M. Wintersteiger edited this page Oct 5, 2015
·
23 revisions
- Try Z3 online at RiSE4fun using SMT 2.0
- Follow Z3 on Facebook
- Browse Z3 Q&A at StackOverflow
- Read our FAQ
- Leo de Moura's Blog
- (external) IDE for Z3 based on ACIDE
- Python symbolic exploration using Z3
- Tutorials and Documentation
- Browse our Slides, read our Papers
- Papers citing Z3 at Google Scholar
- Watch Z3 on Channel 9
- Is here on github.
REMARK: master is the official branch and all new contributions including bugfixes are added to master directly. pure and unstable are branches that are kept only as backups and should not be used. All other branches should be viewed as "work in progress", they may contain unstable and/or untested code.
The Z3 downloads on this site are available from github under the MIT license.
- Supported platforms: Windows, OSX, Linux (Ubuntu, Debian), and FreeBSD
- Download source & binary releases (or here)
- Download automatically compiled nightly binaries (may be unstable)
- Z3 source code can be compiled using Visual Studio, g++ and clang++
There are many ways to contribute to Z3.
- Engage with other Z3 users and developers on StackOverflow.
- Contribute tests and benchmarks to z3test.
- Contribute code.
- For more information see [contribution guidelines](Contribution Guidelines).
We initially released the Z3 source code because it complements our research papers, and may help others to clarify misunderstandings, dispute claims made in our papers, experiment new ideas, reproduce our results, and advance the state-of-the-art.