updated Z3 version number
authorblanchet
Fri Apr 25 22:13:17 2014 +0200 (2014-04-25)
changeset 567251ca7fd5f83bb
parent 56724 faa9c21977d2
child 56726 9fba10c97aef
updated Z3 version number
src/Doc/Sledgehammer/document/root.tex
     1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Fri Apr 25 22:13:17 2014 +0200
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Fri Apr 25 22:13:17 2014 +0200
     1.3 @@ -919,14 +919,14 @@
     1.4  are treated as a different prover by Isabelle. To use these, set the environment
     1.5  variable \texttt{Z3\_NEW\_SOLVER} to the complete path of the executable,
     1.6  including the file name. You also need to set \texttt{Z3\_NON\_COMMERCIAL} to
     1.7 -``yes'', as described above. Sledgehammer has been tested with versions 4.3.0
     1.8 -and 4.3.1.
     1.9 +``yes'', as described above. Sledgehammer has been tested with a pre-release
    1.10 +version of 4.3.2.
    1.11  \end{enum}
    1.12  
    1.13  \item[\labelitemi] \textbf{\textit{z3\_tptp}:} This version of Z3 pretends to be
    1.14  an ATP, exploiting Z3's support for the TPTP untyped and typed first-order
    1.15  formats (FOF and TFF0). It is included for experimental purposes. It requires
    1.16 -version 4.3.1 of Z3 above. To use it, set the environment variable
    1.17 +version 4.3.1 of Z3 or above. To use it, set the environment variable
    1.18  \texttt{Z3\_TPTP\_HOME} to the directory that contains the \texttt{z3\_tptp}
    1.19  executable.
    1.20