Skip to content

Proposal to remove the JuMP Extension#532

Merged
kellertuer merged 7 commits into
dev-0.6from
kellertuer/JuMP-on-non-array-points
Apr 7, 2026
Merged

Proposal to remove the JuMP Extension#532
kellertuer merged 7 commits into
dev-0.6from
kellertuer/JuMP-on-non-array-points

Commits

Commits on Nov 28, 2025

Commits on Apr 7, 2026