List of linear programming solvers