結果 : solver for linear programming