diff --git a/README b/README index 5e9b92a2f..f07f88ebd 100644 --- a/README +++ b/README @@ -1,7 +1,6 @@ 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