From 61e1780dd2ba3648ba34561e07f0bcdf1e6ef149 Mon Sep 17 00:00:00 2001 From: Semyon Date: Fri, 16 Oct 2015 16:13:17 +0300 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index ab8dbc5..6d030fa 100644 --- a/README.md +++ b/README.md @@ -8,5 +8,6 @@ Support for [F* language](https://www.fstar-lang.org/) in Visual Studio IDE. ##How to install * Install MSVS-2015 * Install [Z3 4.4.0](https://github.com/Z3Prover/z3/releases) + * Add path to Z3 binaries to system PATH variable * Install [FStar runtime](https://drive.google.com/file/d/0B2QL-2bhLX91YXo0MG1GZFljVGM/view?usp=sharing) * Install [FStar extension](https://drive.google.com/file/d/0B2QL-2bhLX91MTBVOTQ5WjZNTkE/view?usp=sharing)