Provide consistent information how to obtain Z3
- http://af3.fortiss.org/download/ links to github.com/Z3Prover/z3/releases where currently version 4.5.0 can be obtained
-
org.fortiss.af3.analyses.ui.CommonAnalysisWidgets
links to http://z3.codeplex.com/releases where currently version 4.3.2 can be obtained. See “Non-Determinism Analyses ->Z3 version”
(from redmine: issue id 2797, created on 2017-01-23, closed on 2017-01-23)