I want to solve the following optimization problem
min $\|x\|_{\infty}$ such that $Ax \ge b, x \ge 0$
where $A$ is a matrix with integer coefficients and $b$ is a vector with integer coefficients.
Here $\|x\|_{\infty} = \max\{|x_1|,\ldots,|x_n|\}$.
What kind of software could I use for that.