I am trying to solve a bilevel optimization as follows,
I then transformed the lower-level optimization with KKT conditions and obtained a new optimization problem:
The toughness is the constraint . I am wondering whether there exists a solver that can efficient deal with this constraint?
Thank you all in advance.