Solving a system of linear inequalities