Make Progress Monitors optional for the Z3 backend
If launched programmatically no monitor is passed, which causes NPEs.
(from redmine: issue id 3730, created on 2019-05-23, closed on 2019-05-23)
If launched programmatically no monitor is passed, which causes NPEs.
(from redmine: issue id 3730, created on 2019-05-23, closed on 2019-05-23)