[docs] add Gurobi to the docs and remove GLPK#3904

Merged

odow merged 6 commits intomasterfrom od/grb

Dec 30, 2024

+106-65

Commits on Dec 29, 2024

[docs] add Gurobi to the docs and remove most usages of GLPK
odow
committed

Commits on Dec 30, 2024