Z3 Microsoft Research

On October 2, 2012, the Z3 source code was released at z3.codeplex.com. The source code can be downloaded from there, and can be compiled in all major platforms. One nice side-effect is that it is much easier for us to make more frequent updates/releases. From now on, we will only provide pre-compiled binary releases for the Windows platform. The binary releases will be available also at z3.codeplex.com. The following link contains old Z3 Windows binaries released before October 2, 2012.

Last modified Fri Oct 5 2012 11:32:37