Bump Z3 version to 4.8.11 (#322)

* Bump Z3 version to 4.8.11

* Update instructions for Z3

Author: Baltoli

Dockerfile

@@ -29,6 +29,15 @@ RUN    apt update         \
         python3-pip       \
         zlib1g-dev
 
+RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.8.11 \
+    && cd z3                                                         \
+    && python scripts/mk_make.py                                     \
+    && cd build                                                      \
+    && make -j8                                                      \
+    && make install                                                  \
+    && cd ../..                                                      \
+    && rm -rf z3
+
 RUN curl -sSL https://get.haskellstack.org/ | sh
 
 RUN curl -sL https://deb.nodesource.com/setup_14.x | bash -

INSTALL.md

@@ -142,6 +142,24 @@ see instructions here: https://github.com/kframework/k/releases/tag/<k_release>.
 
 ## System Dependencies
 
+### Z3
+
+KIELE requires Z3 version 4.8.11, which you may need to install from a source
+build if your package manager supplies a different version. To do so, follow the
+instructions
+[here](https://github.com/Z3Prover/z3#building-z3-using-make-and-gccclang) after
+checking out the correct tag in the Z3 repository:
+
+```sh
+git clone https://github.com/Z3Prover/z3.git
+cd z3
+git checkout z3-4.8.11
+python scripts/mk_make.py
+cd build
+make
+sudo make install
+```
+
 ### Ubuntu Bionic
 
 The following packages are needed for running KIELE on Ubuntu: