Z3: Implement progress heuristics
- See https://github.com/Z3Prover/z3/issues/1787
- In the Java API, the
Global
object may be used to enable verbose mode
(from redmine: issue id 3628, created on 2019-01-29)
Global
object may be used to enable verbose
mode(from redmine: issue id 3628, created on 2019-01-29)