1

Closed

Z3 main documention page is down!

description

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 1:20 PM by leodemoura
The page is back.

comments

leodemoura wrote Apr 15, 2013 at 7: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?