Trying to solve a QP with EAGO I face this error
LoadError: The index MathOptInterface.ConstraintIndex{MathOptInterface.SingleVariable, MathOptInterface.GreaterThan{Float64}}(-1) is invalid. Note that an index
becomes invalid after it has been deleted.
The exact same problem can be solved by another solver , is the error related to the EAGO? and what should I do?
Please provide a reproducible example.
Do you have the full stacktrace of the error?
Here is the stacktrace:
ERROR: LoadError: The index MathOptInterface.ConstraintIndex{MathOptInterface.SingleVariable, MathOptInterface.GreaterThan{Float64}}(-1) is invalid. Note that an index
becomes invalid after it has been deleted.
Stacktrace:
[1] throw_if_not_valid
@ C:\Users\FH\.julia\packages\MathOptInterface\YDdD3\src\indextypes.jl:77 [inlined]
[2] set(model::GLPK.Optimizer, #unused#::MathOptInterface.ConstraintSet, c::MathOptInterface.ConstraintIndex{MathOptInterface.SingleVariable, MathOptInterface.GreaterThan{Float64}}, s::MathOptInterface.GreaterThan{Float64})
@ GLPK C:\Users\FH\.julia\packages\GLPK\oTTtu\src\MOI_wrapper.jl:885
[3] obbt!(m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\domain_reduction.jl:371
[4] preprocess!(t::EAGO.DefaultExt, m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\optimize\optimize_nonconvex.jl:607
[5] preprocess!(m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\optimize\optimize_nonconvex.jl:1050
[6] global_solve!(m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\optimize\optimize_nonconvex.jl:1085
[7] optimize!(#unused#::Val{EAGO.MINCVX}, m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\optimize\optimize_nonconvex.jl:1162
[8] optimize!(m::Optimizer)
@ EAGO C:\Users\FH\.julia\packages\EAGO\5sz05\src\eago_optimizer\optimize\optimize.jl:37
[9] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.GenericModel{Float64,
MathOptInterface.Utilities.ModelFunctionConstraints{Float64}}}})
@ MathOptInterface.Utilities C:\Users\FH\.julia\packages\MathOptInterface\YDdD3\src\Utilities\cachingoptimizer.jl:252
[10] optimize!(b::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.GenericModel{Float64, MathOptInterface.Utilities.ModelFunctionConstraints{Float64}}}}})
@ MathOptInterface.Bridges C:\Users\FH\.julia\packages\MathOptInterface\YDdD3\src\Bridges\bridge_optimizer.jl:319
[11] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.AbstractOptimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.GenericModel{Float64, MathOptInterface.Utilities.ModelFunctionConstraints{Float64}}}})
@ MathOptInterface.Utilities C:\Users\FH\.julia\packages\MathOptInterface\YDdD3\src\Utilities\cachingoptimizer.jl:252
[12] optimize!(model::Model, optimizer_factory::Nothing; bridge_constraints::Bool, ignore_optimize_hook::Bool, kwargs::Base.Iterators.Pairs{Union{}, Union{}, Tuple{},
NamedTuple{(), Tuple{}}})
@ JuMP C:\Users\FH\.julia\packages\JuMP\e0Uc2\src\optimizer_interface.jl:130
[13] optimize! (repeats 2 times)
@ C:\Users\FH\.julia\packages\JuMP\e0Uc2\src\optimizer_interface.jl:106 [inlined]
[14] top-level scope
@ acetate validation.jl:218
in expression starting at acetate validation.jl:218
The index MathOptInterface.ConstraintIndex{MathOptInterface.SingleVariable, MathOptInterface.GreaterThan{Float64}}(-1) is invalid. Note that an index becomes invalid after it has been deleted.
and the error comes from this line: JuMP.optimize!(model)
For a reproducible example I should give you some CSV files …
This looks like a bug in EAGO. I suggest you open a GitHub issue with a reproducible example.