[7thaccount]

I think categories would be helpful. So you could have a category of mathematical optimization solvers and have Highs, Coin-OR, SCIP...etc in that category.