Add note about Z3 versions

s0mark · Sep 10, 2018 · 77efc97 · 77efc97
1 parent d160c08
commit 77efc97
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/Dependencies.md b/doc/Dependencies.md
@@ -2,8 +2,8 @@
 
 ## Z3 Solver
 
-The libraries for the Z3 solver are included in the _lib_ directory, both for Windows and Linux. However, on Windows, _libz3.dll_ also requires some libraries from the [Microsoft Visual C++ Redistributable package](https://www.microsoft.com/en-us/download/details.aspx?id=48145). Install it, or just execute `Download-VCredist.ps1`, which will download the required libraries.
+The libraries for the Z3 solver are included in the _lib_ directory, both for Windows and Ubuntu (64 bit). However, on Windows, _libz3.dll_ also requires some libraries from the [Microsoft Visual C++ Redistributable package](https://www.microsoft.com/en-us/download/details.aspx?id=48145). Install it, or just execute `Download-VCredist.ps1`, which will download the required libraries. If you have a different OS, you should download the appropriate [Z3 release](https://github.com/Z3Prover/z3/releases).
 
 ## GraphViz
 
-Theta can export graphs in _dot_ format and automatically convert them to images. For this, [GraphViz](http://www.graphviz.org/) has to be installed and _dot_ (or _dot.exe_ on Windows) has to be on the PATH.
+Theta can export graphs in _dot_ format and automatically convert them to images. For this, [GraphViz](http://www.graphviz.org/) has to be installed and _dot_ (or _dot.exe_ on Windows) has to be on the PATH.