Skip to content

Conversation

@amontoison
Copy link
Contributor

No description provided.

@odow
Copy link
Member

odow commented Oct 28, 2025

Actually, I guess we can add it more generally to the JuMP docs as well. I'll make a PR.

@odow odow merged commit 89d0708 into jump-dev:master Oct 28, 2025
28 checks passed
@amontoison amontoison deleted the patch-1 branch October 28, 2025 03:21
@amontoison
Copy link
Contributor Author

I think we can also uncomment the line for MadNLP.jl but I started to upgrade its MOI interface: MadNLP/MadNLP.jl#509
I will open a PR for the next major release of MadNLP.jl (v0.9.0).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants