Microsoft Research Community
SMT-COMP 2007
Z3: Theorem Prover

Archives

Z3 did very well in the recent 2007 SMT Competition: it won 4 divisions and took 7 second places.


Posted 01-08-2008 2:21 PM by Leonardo de Moura
©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback