slack variable

In linear programming, a slack variable is a non-negative variable added to an inequality constraint to turn it into an equality constraint

For example, the constraint can be rewritten as