mirror of
https://github.com/Z3Prover/z3
synced 2025-04-26 18:45:33 +00:00
It uses C++20 BTW (#7429)
This commit is contained in:
parent
a23a8cdfc5
commit
5cee19fa09
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue