rpointel fe328c87bd update z3 to 4.6.0, builds fine with clang 6. ...

from "Matthew Martin" phy1729@ at gmail dot com (thanks).

2018-04-10 08:17:38 +00:00

..

pkg

update z3 to 4.6.0, builds fine with clang 6.

2018-04-10 08:17:38 +00:00

distinfo

update z3 to 4.6.0, builds fine with clang 6.

2018-04-10 08:17:38 +00:00

Makefile

update z3 to 4.6.0, builds fine with clang 6.

2018-04-10 08:17:38 +00:00