an exact linear programming solver
