Update README

Z3Prover · Mar 27, 2015 · ac21ffe · ac21ffe
1 parent d1fd22d
commit ac21ffe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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