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.