Please note that this mail was generated by a script.
The described changes are computed based on the x86_64 DVD.
The full online repo contains too many changes to be listed here.
Please check the known defects of this snapshot before upgrading:
Please do not reply to this email to report issues, rather file a bug
. For more information on filing bugs please
z3 (4.8.9 -> 4.8.10)
=== Details ===
==== z3 ====
Version update (4.8.9 -> 4.8.10)
- update to 4.8.10:
- rewritten arithmetic solver replacing legacy arithmetic solver and on by default