Closed odow closed 6 months ago
Names from MOI do not make it to PATH. This makes printing and messages hard to read.
x-ref https://discourse.julialang.org/t/can-i-recover-variable-names-to-path-labels-jump-moi-pathsolver-path-jump/110703
The C API has
https://github.com/chkwon/PATHSolver.jl/blob/f03d0a76bd3ba1d1cdc665d405dfd6c3c77c38c2/src/C_API.jl#L742-L743
But we do not pass from MOI:
https://github.com/chkwon/PATHSolver.jl/blob/f03d0a76bd3ba1d1cdc665d405dfd6c3c77c38c2/src/MOI_wrapper.jl#L378-L389
cc @EliLazarus
Names from MOI do not make it to PATH. This makes printing and messages hard to read.
x-ref https://discourse.julialang.org/t/can-i-recover-variable-names-to-path-labels-jump-moi-pathsolver-path-jump/110703
The C API has
https://github.com/chkwon/PATHSolver.jl/blob/f03d0a76bd3ba1d1cdc665d405dfd6c3c77c38c2/src/C_API.jl#L742-L743
But we do not pass from MOI:
https://github.com/chkwon/PATHSolver.jl/blob/f03d0a76bd3ba1d1cdc665d405dfd6c3c77c38c2/src/MOI_wrapper.jl#L378-L389
cc @EliLazarus