Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@NikolajBjorner
NikolajBjorner authored Jun 15, 2021
1 parent 082ec0f commit 206d770
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 206d770

Please sign in to comment.