Slack variable ($s=b-a^{T}x$)

A slack variable turns an inequality constraint $a^{T}x\le b$ into the equality $a^{T}x+s=b$ with $s\ge 0$. Its value measures the unused amount of the constraint. In the simplex algorithm, slack variables often supply the initial basic feasible solution.