Invalid index error using EAGO solver

Specific Domains Optimization (Mathematical)
,
1

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?

2

Please provide a reproducible example.

Do you have the full stacktrace of the error?

3

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 …

4

This looks like a bug in EAGO. I suggest you open a GitHub issue with a reproducible example.