Re: [UPDATE] math/z3

[Klemens Nanni]

On Tue, Jun 04, 2019 at 02:45:46PM +0200, Remi Pointel wrote:
> this diff updates z3 to latest release.
Brief summay of what changed or why you bumped the major?  Or a link?