MIP ソルバーの比較
GurobiがCplexやXpressと喧嘩したためベンチマークは止まったと思っていたが，まだやっているようだ．
ただし，比較には上記２社は入っておらず，CBC COPT GLPK GUROBI MATLAB SCIP HiGHS SCIPCと無料のものが中心だ．
COPTは中国の会社で最近速くなってきたようだ．HiGHSは無料でSCIP（商用は無料ではない）並の性能だが，MIPだとまだ遅い．CBC（PuLPの標準）よりはましという感じだろう．