Benoît Legat

See https://github.com/jump-dev/SumOfSquares.jl/issues/388

[Bridges] Add Interval to HyperRectangle constraint bridge

1

Needed to use `MatrixOfConstraints` in the COSMO MOI wrapper (see https://github.com/oxfordcontrol/COSMO.jl/pull/198) Requires - [x] https://github.com/jump-dev/MathOptInterface.jl/pull/2755

It could be a performance win to change this `Vector{Vector{Int}}` into `Vector{Int}`: https://github.com/JuliaAlgebra/DynamicPolynomials.jl/blob/a0e6d3e00b9824c06d1263f88671fdbf023fff2d/src/monomial_vector.jl#L6 We could also use a `Matrix{Int}` but then adding exponents in the list might be more tricky.

Cache subexpressions when building MOI.ScalarNonlinearExpression

10

Here is a simplified reproducer of the performance issue identified in https://github.com/jump-dev/JuMP.jl/issues/4024: ```julia using JuMP f(x, u) = [sin(x[1]) - x[1] * u, cos(x[2]) + x[1] * u] function RK4(f,...

Implement ForwardConstraintDual for bridges

1

- [ ] Test

POI not added for Clarabel

1

```julia julia> model = DiffOpt.diff_optimizer(Clarabel.Optimizer) DiffOpt.Optimizer{MOIU.CachingOptimizer{MOIB.LazyBridgeOptimizer{MOIU.CachingOptimizer{Clarabel.MOIwrapper.Optimizer{Float64}, MOIU.UniversalFallback{MOIU.Model{Float64}}}}, MOIU.UniversalFallback{MOIU.Model{Float64}}}} ├ ObjectiveSense: FEASIBILITY_SENSE ├ ObjectiveFunctionType: MOI.ScalarAffineFunction{Float64} ├ NumberOfVariables: 0 └ NumberOfConstraints: 0 ```