3467 Z3 update to version 4.7.1 (!47) · Merge requests · af3 / af3-backup

Simon Barner requested to merge 3467-Z3_4.7.1 into master Jul 03, 2018

Could you please test on Mac using the "Testing" instructions from https://af3-developer.fortiss.org/issues/3385?

As mentioned, I drafted a brief developer documentation (see here: com.microsoft.z3/html/developer/documentation.html)

3467 Z3 update to version 4.7.1