mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

[Release Notes] Note that C++11 is required to build Z3 and is also

Browse source 
required by the C++ API bindings.
This commit is contained in:
Dan Liew 2017-12-07 00:53:54 +00:00
parent 92059942e6
commit 1941a53999
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
RELEASE_NOTES
View file

@ -1,7 +1,11 @@
RELEASE NOTES RELEASE NOTES
Version 4.5.x Version 4.6.0
============= =============
- New requirements:
- C++11 capable compiler to build Z3.
- C++ API now requires C++11 or newer.
- New features (including): - New features (including):
- A new string solver from University of Waterloo - A new string solver from University of Waterloo
- A new linear real arithmetic solver - A new linear real arithmetic solver