You should not assume anything about the mapping between JuMP variables and their MOI index.
The only thing you may use is index(x) to query the index of a variable, and most users should never need this.
You should not assume anything about the mapping between JuMP variables and their MOI index.
The only thing you may use is index(x) to query the index of a variable, and most users should never need this.