Solving linear inequalities