Adding UNSAT cores to DSE perspective
- Target version changed from AF3 2.8 RC1 (Feature Freeze) to AF3 2.8 Post-release
- Target version changed from AF3 2.8 Post-release to AF3 2.9 RC1 (Features frozen)
- Status changed from New to Closed
- % Done changed from 0 to 100
Different from the Visualization of UNSAT constraints. This simply displays an alert listing the unsatisfiable constraints, which might later be replaced by the visualization part.
Also available in: Atom