recommended z3 version for current ivy version

[asgeir386]

I looked just now but I couldn't find any mention of the recommended z3 version

I'm currently using 4.8.8 which is significantly faster than 4.7.1 which I think is the latest version that supports all the ivy modes including ivy_to_cpp

Please add z3 version information e.g. in the installation instructions

http://microsoft.github.io/ivy/install.html

[kenmcmil]

Sorry to miss this in November. Ivy installs its own version of Z3 inside the Ivy tree. Unfortunately, it runs behind mainline Z3 because there are occasionally breaking API changes in Z3.