Efectivamente Robert, tanto en restricciones de mayor o igual como de menor o igual corresponde incluir una variable artificial con el signo correspondiente, la cual, como bien dijiste tendrá valor nulo en el funcional.

Saludos.