Mirror clone of https://git.codeplex.com/z3