Microsoft Research Community
Z3: Theorem Prover » Documentation
Documentation
Z3: Theorem Prover

Syndication

Recent Posts

Archives

Online documentation: http://research.microsoft.com/projects/z3/documentation.html

FAQ: http://research.microsoft.com/projects/z3/faq.html

Posted 01-08-2008 2:44 PM by Leonardo de Moura

Comments

pmatos wrote re: Documentation
on 07-14-2008 3:19 AM

I am wondering which languages are being used to implement Z3? It seems it nowhere in the site or in the FAQ. Thanks!

©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback