3467 z3 4.7.1 fixed
IMPORTANT: This supersedes af3!47 (merged) (dropped because an erroneous merge in master has already been integrated into the old Z3 update branch)
Could you please
- test on Mac using the "Testing" instructions from https://af3-developer.fortiss.org/issues/3385?
- Review the brief developer documentation (see here:
com.microsoft.z3/html/developer/documentation.html
), in particular the Mac related aspects - While here: Review
AF3z3Activator
Edited by Simon Barner