Skip to content

Fix variable name-collision guard to match updated JuMP error message - Version 0.9 - #98

Merged
JulStraus merged 1 commit into
release-0.9from
fix/var_registration-09
Aug 11, 2026
Merged

Fix variable name-collision guard to match updated JuMP error message - Version 0.9#98
JulStraus merged 1 commit into
release-0.9from
fix/var_registration-09

Commits

Commits on Aug 11, 2026