Continous Integer Knapsack Set

$K^I=\left\{(s,y)\in {\mathbb{R}}_{+}^1\times {\mathbb{Z}}_{+}^n:{\sum }_{j=1}^n{a}_j{y}_j\le b+s\right\}$

Mixed Integer Rounding Ungleichung