Need help cloning? Learn how to clone a repository.
Atlassian Sourcetree is a free Git client for Windows.
Atlassian Sourcetree is a free Git client for Mac.
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
Updated 2013-01-24