Z3 main documention page is down!


Clicking on http://research.microsoft.com/en-us/um/redmond/projects/z3/namespace_microsoft_1_1_z3.html gives a page not found error. This page is important because its the root to accessing all the other pages for the various classes in Z3
Closed May 14, 2013 at 12:20 PM by leodemoura
The page is back.


leodemoura wrote Apr 15, 2013 at 6:15 AM

The page is back (at least for me). I tested it outside of the MS network.
The servers were probably down when you tried to access it.
Could you try again?