Solving Systems of Linear Inequalities