Skip to content

Flag non-optimal subproblems more loudly - #1422

Merged
anamileva merged 1 commit into
developfrom
am/loud_non_optimal_warnings
Aug 13, 2026
Merged

Flag non-optimal subproblems more loudly #1422
anamileva merged 1 commit into
developfrom
am/loud_non_optimal_warnings

Flag non-optimal subproblems more loudly at solve time, run end, and …

d9c294e
Select commit
Loading
Failed to load commit list.