[constraints] onActivate handler
- information about time consumption
- check that Z3/NuSMV or other is available
#4 Updated by Anonymous over 2 years ago
- Assignee changed from Anonymous to Anonymous
@Sudeep: this was sofar my planned solution for checking when NuSMV was available or not: change the constraint system slightly to have an additional "hook" when a constraint gets activated.
This is easy to implement when you have an idea how the constraint system works.
Bottom line: I would keep the issue if you think it can solve your problem, if you otherwise have an easy workaround as we discussed, I would just reject.