From 77efc97422be22e78212189e587151a0f76dfaf7 Mon Sep 17 00:00:00 2001 From: Akos Hajdu Date: Mon, 10 Sep 2018 16:29:01 +0200 Subject: [PATCH] Add note about Z3 versions --- doc/Dependencies.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/Dependencies.md b/doc/Dependencies.md index 999fc9023e..260df1cb63 100644 --- 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. \ No newline at end of file +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.