Complementarity constraints are used to enforce the orthogonality between two decision vectors (or matrices). They naturally appear in mathematical programs for many applications and also in reformulations of certain ...