update IntervalArithmetic package for EAGO

[stumarcus314]

Is it possible to update EAGO so that it can use the latest version (v0.22.14) of the IntervalArithmetic package instead of v0.20.9?

(@v1.10) pkg> status
Status `~/.julia/environments/v1.10/Project.toml`
  [07493b3f] Alpine v0.5.6
  [7c4d4715] AmplNLWriter v1.2.1
  [6f275bd8] BLISBLAS v0.1.1
  [227a2e2d] COPT v1.1.17
  [bb8be931] EAGO v0.8.1
  [7a1cc6ca] FFTW v1.8.0
  [87dc4568] HiGHS v1.9.0
⌅ [d1acc4aa] IntervalArithmetic v0.20.9
⌃ [b6b21f68] Ipopt v1.6.2
⌃ [4076af6c] JuMP v1.22.1
  [2ddba703] Juniper v0.9.2
  [19f71287] MAiNGO v0.2.2
⌃ [33e6dc65] MKL v0.6.3
⌃ [82193955] SCIP v0.11.6
  [29cba6d7] Bonmin_jll v100.800.901+0
  [f09e9e23] Couenne_jll v0.500.801+0
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated`

(@v1.10) pkg> status --outdated
Status `~/.julia/environments/v1.10/Project.toml`
⌅ [d1acc4aa] IntervalArithmetic v0.20.9 (<v0.22.14): EAGO, IntervalContractors, IntervalRootFinding, McCormick
⌃ [b6b21f68] Ipopt v1.6.2 (<v1.6.3)
⌃ [4076af6c] JuMP v1.22.1 (<v1.22.2)
⌃ [33e6dc65] MKL v0.6.3 (<v0.7.0)
⌃ [82193955] SCIP v0.11.6 (<v0.11.14)

[DimitriAlston]

EAGO depends on the packages IntervalContractors and IntervalRootFinding, which are in the process of updating for compatibility with IntervalArithmetic v0.22.

x-refs: JuliaIntervals/IntervalRootFinding.jl#203 and JuliaIntervals/IntervalContractors.jl#57

We cannot update this dependency in EAGO and McCormick until those other pull requests have gone through.

Is there a specific feature in v0.22 that you need to use for the other packages you have installed?

[stumarcus314]

No, not that I'm aware of.

[DimitriAlston]

We'll keep an eye out for updates to these dependencies and update EAGO and McCormick once the compatibility issues are resolved. In the meantime, you can create a separate Julia environment if you need to use IntervalArithmetic v0.22 for another project.