Visualization of UNSAT constraints
When generating deployments with certain constraints (e.g. safety,
memory,…) it is possible to get all the constraints which have failed.
The question is how to visualize these unsat constraints in a useful way
(to be helpful for a system designer/ system design process).
(from redmine: issue id 2169, created on 2014-11-26, closed on 2016-07-04)
- Relations:
- parent #2522 (closed)