Z3 Solver

Language:
English
Z3 is an SMT solver that combines several theory solvers into a combined framework. Last published: August 9, 2012.
  • Version:

    4.1.0

    File Name:

    z3-4.1.msi

    Date Published:

    5/12/2016

    File Size:

    31.3 MB

      Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit