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