Skip to content

Investigate using JuMP indices in place of MOI indices #26

@greg-neustroev

Description

@greg-neustroev

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions