Microsoft Research Community
Sign in
|
Join
|
Help
Home
Blogs
Media
Forums
Wikis
Groups
Z3: Theorem Prover
»
SMT-COMP 2007
SMT-COMP 2007
Z3: Theorem Prover
Home
Syndication
RSS for Posts
Atom
RSS for Comments
Recent Posts
Documentation
SMT-COMP 2007
Archives
January 2008 (2)
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