It uses C++20 BTW (Z3Prover#7429)

catap · arbipher · commit 7bf63d8ec093 · 2025-04-17T02:48:46.000-04:00
diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ cd build
 nmake
 ```
 
-Z3 uses C++17. The recommended version of Visual Studio is therefore VS2019. 
+Z3 uses C++20. The recommended version of Visual Studio is therefore VS2019. 
 
 ## Building Z3 using make and GCC/Clang
 
