Here's the checklist for adding a new solver to the docs: https://jump.dev/JuMP.jl/stable/developers/checklists/#Adding-a-new-solver-to-the-documentation Once registered and CI is working etc, here are the places to edit: https://github.com/jump-dev/JuMP.jl/blob/99725513daf56ec4d7497fbeb49ff3c183a3338c/docs/src/installation.md?plain=1#L92 https://github.com/jump-dev/JuMP.jl/blob/99725513daf56ec4d7497fbeb49ff3c183a3338c/docs/packages.toml#L123
Here's the checklist for adding a new solver to the docs:
https://jump.dev/JuMP.jl/stable/developers/checklists/#Adding-a-new-solver-to-the-documentation
Once registered and CI is working etc, here are the places to edit:
https://github.com/jump-dev/JuMP.jl/blob/99725513daf56ec4d7497fbeb49ff3c183a3338c/docs/src/installation.md?plain=1#L92
https://github.com/jump-dev/JuMP.jl/blob/99725513daf56ec4d7497fbeb49ff3c183a3338c/docs/packages.toml#L123