Fork of the z3 repository at codeplex