Upgrade z3 dependency The opam package for z3 4.8.4 switched to static builds by default, but still seems to have some issues with passing the correct flags. This seems to have converged to a working state with z3 4.8.7.
Upgrade z3 dependency The opam package for z3 4.8.4 switched to static builds by default, but still seems to have some issues with passing the correct flags. This seems to have converged to a working state with z3 4.8.7.