We consider the Mathematical Program with Complementarity Constraints of minimizing a function f under :
- the inequality constraints $g(x) \leq 0$,
- the equality constraints $h(x)=0$,
- and the complementary constraints $0 \leq G(x) \perp H(x) \geq 0$.
All functions are assumed to be continuously differentiable.