Modeling Systems of Linear Inequalities