README update

apalache-mc · Jul 21, 2018 · 4430bfa · 4430bfa
1 parent 0a0bf2d
commit 4430bfa
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -16,10 +16,12 @@ Check the [releases page](https://github.com/konnov/apalache/releases).
 ## Building and running
 
 To build the tool, you will need the following standard packages: Java 8 SDK,
-Scala, and Maven. You will also need [Z3 Prover](https://github.com/Z3Prover/z3)
-and [TLA tools](http://lamport.azurewebsites.net/tla/tools.html).
-Both can be automatically installed in your local Maven repository by running the
-script `./3rdparty/install-local.sh`.
+Scala, and Maven. You will also need [Z3 Prover
+4.7.1](https://github.com/Z3Prover/z3) and [TLA tools](http://lamport.azurewebsites.net/tla/tools.html).
+Both Z3 and TLA+ tools can
+be automatically installed in your local Maven repository by running the script
+`./3rdparty/install-local.sh`. __WARNING: Z3 API has been changed in version
+4.8.0, so make sure that you install version 4.7.1.__
 
 To build the complete package, including the dependencies, type: