Z3

• Convert Microsoft Pex path conditions from Z3 native format to SMT-LIB
  Thu, Aug 1, 2013
• The Z3 Constraint Solver, a developer perspective
  Tue, Jul 30, 2013
• Get path conditions from Microsoft Pex
  Wed, Jul 24, 2013