An Efficient SMT Solver

Status

• 25 June, 2008.
  Z3 1.3 was released.

• 7 Dec, 2007.
  Z3 1.2 was released.

• 22 Oct, 2007.
  Z3 1.1 was released.

• 13 Sept, 2007.
  Z3 1.0 was released.

• 25 Jun, 2007.
  Z3 0.1 was submitted to SMT-COMP'07.