Re: update: math/z3

[Remi Pointel]

Le 10-04-2018 06:26, Matthew Martin a écrit :

Update z3; builds here with clang 6. Enable tests while here.

- Matthew Martin

Hi,

thanks it's commited.

Cheers,

Remi.