Arie Gurfinkel
Untitled project
ufo

Wiki

Clone wiki

HTTPS

SSH

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.

ufo / FAQ

View History

Frequently Asked Questions

What version of Z3 does UFO require? UFO uses Z3 version 3.2. Click here for instructions on where to get it.

Updated 2013-01-24