Currently we construct a dictionary that maps JuMP indices to MOI indices. There is either a function in MOI that does this already, or we can probably extract this dictionary from the model directly (since it has to be stored somewhere). Investigate how to streamline this process.
Currently we construct a dictionary that maps JuMP indices to MOI indices. There is either a function in MOI that does this already, or we can probably extract this dictionary from the model directly (since it has to be stored somewhere). Investigate how to streamline this process.