Previous versions of Z3

Versions of Z3 prior to 4.1 are available through hidden links. See this stackoverflow post for details.

Current version of UFO requires Z3 version 3.2 (or older). Here are direct links for different platforms

• Z3 3.2 Linux 32bit
• Z3 3.2 Linux 64bit
• Z3 3.2 OSX 64bit