Further processing options
available via local holding

Optimality conditions for pessimistic bilevel problems using Convexicator