Microsoft Research Community
Forums » Microsoft Research Forums » Z3, Theorem Prover » Z3 MacOS X

Z3 MacOS X

rated by 0 users
This post has 0 Replies | 1 Follower

Not Ranked
Posts 1
Reply
barbaravieira Posted: 11-04-2009 3:43 AM

I would like to know if there is any version of Z3 to MacOS X and where I can find it.

If there isn't any version, could you please provide one to MacOS X (Snow Leopard)?

Thank you in advance.

 

Page 1 of 1 (1 items) | RSS
©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback