[WIP] Refactoring of the reformulation chain

[cvanaret]

Refactoring of the reformulation chain

The inequality handling method now:

• reformulates the problem (original or feasibility)
• updates the Parameterization parameterization parameter (contains e.g. the barrier parameter)

... and that's it! The rest (subproblems, subproblem solvers) is controlled by the constraint relaxation strategy instead.

[cvanaret]

Hi @amontoison, I get a new error on a MOI test:

[8](https://github.com/cvanaret/Uno/actions/runs/23347405765/job/67916436845#step:9:209)
test_linear_VectorAffineFunction_empty_row: Error During Test at /home/runner/.julia/packages/MathOptInterface/Q3V1z/src/Test/test_linear.jl:2566
  Test threw exception
  Expression: ≈(MOI.get(model, MOI.DualObjectiveValue()), T(0), config)
  BoundsError: attempt to access 1-element Vector{Float64} at index [-1]

even though there is a safeguard on the use of MOI.DualObjectiveValue:

https://github.com/jump-dev/MathOptInterface.jl/blob/15b62adcfa3ce73de71ca67b50e98249af0aecb5/src/Test/test_linear.jl#L2565-L2567

I don't see what could have caused that on the C++ side 🤔 Do you have any ideas?

Edit: oh wait, that happens in a totally unrelated PR now: #614
They must have broken something over at MOI... (edit: how nasty of me. It came from AmplNLWriter.jl)

[amontoison]

@cvanaret
The culprit is the release 1.4.0 of AMPLNLWriter.jl.
jump-dev/AmplNLWriter.jl#207

You just need to add MOI.DualObjectiveValue in the list of excluded tests (for AMPL).

[cvanaret]

@cvanaret The culprit is the release 1.4.0 of AMPLNLWriter.jl. jump-dev/AmplNLWriter.jl#207

You just need to add MOI.DualObjectiveValue in the list of excluded tests (for AMPL).

Beautiful, thanks a lot 🤩