検索:Gurobi Optimizer,AIMMS,MathNetworks,MathManpower