[constraints] onActivate handler
implement an “onActivate” handler to perform actions on constraint activation:
- information about time consumption
- check that Z3/NuSMV or other is available
- etc.
(from redmine: issue id 2703, created on 2016-09-29)
implement an “onActivate” handler to perform actions on constraint activation:
(from redmine: issue id 2703, created on 2016-09-29)