diff --git a/README.md b/README.md index aa16bd433..f9fad4f46 100644 --- a/README.md +++ b/README.md @@ -44,6 +44,8 @@ cd build nmake ``` +Z3 uses C++17. The recommended version of Visual Studio is therefore VS2019. + ## Building Z3 using make and GCC/Clang Execute: