Hi,
I was wondering if there is a possibility to access the automatic reformulations that BilevelJump creates internally to solve the bilinear model. In particular, I would like to access (1) the dual of the lower level and (2) the strong duality constraint that Julia should create when using mode=BilevelJuMP.StrongDualityMode()
. This can be useful for me to do some checks.
Thank you
Martina