Z3: Theorem Prover

Z3: Theorem Prover

Sort by: Most Recent | Most Viewed | Most Commented

Documentation

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

Published 01-08-2008 2:44 PM by Leonardo de Moura
SMT-COMP 2007

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

Published 01-08-2008 2:21 PM by Leonardo de Moura