DSE Perspective: UNSAT cores are highlighted only after another DSE is triggered
UNSAT cores are shown only when a new exploration is started (i.e., clicking on the "Check Feasibility" button).
UNSAT cores are shown only when a new exploration is started (i.e., clicking on the "Check Feasibility" button).