HiGHS

本地搜索速度快，适合大规模场景下快速获得可行解；HiGHS 作为精确求解器，能在较小规模问题上给出更优甚至最优解，但计算成本更高。

HiGHS 全称 High performance software for linear optimization，是由爱丁堡大学团队主导开发的开源线性与混合整数规划求解器，支持 LP、MIP、QP 等模型类型。

HiGHS 采用单纯形法、内点法及分支定界等经典算法，能够在给定时间内证明解的最优性或给出最优性间隙。

Rebalancer 集成 HiGHS 作为可选后端，让开发者在精度与效率之间按需取舍。