From ac21ffebdf1512da2a77dc46c47bde87cc3850f3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Mar 2015 18:58:19 -0700 Subject: [PATCH] Update README --- README | 1 + 1 file changed, 1 insertion(+) diff --git a/README b/README index f07f88ebd..5e9b92a2f 100644 --- a/README +++ b/README @@ -1,6 +1,7 @@ Z3 is a theorem prover from Microsoft Research. Z3 is licensed under the MIT license. Z3 can be built using Visual Studio Command Prompt and make/g++. +It relies on Python2 for configuring build scripts. 1) Building Z3 on Windows using Visual Studio Command Prompt