Your code looks great.
As of now model[:x] and Lower(model)[:x] should be the same. BilevelJuMP is caching everything in the same objdict.
I haven’t given much thought to this part of the API and don’t have strong feeling as of now.
Feel free to open an issue or PR to start a discussion.
1 Like