Oscar Dowson

https://github.com/jump-dev/MathOptInterface.jl/actions/runs/9493107312

OSQP failure is unrelated: https://github.com/osqp/OSQP.jl/pull/126

The DSDP failure is suspicious: `test_conic_SecondOrderCone_out_of_order` I assume it's because the variables are out of order, so we end up bridging it with some slack variables, which increases the problem...

My discussion with @blegat after the developer call is: this seems reasonable. There might be performance edge cases we haven't considered, but this is really a single sort, so it...

So I didn't run `solver-tests` after removing the dead code. BilevelJuMP was using `_try_constrain_variables_on_creation`: https://github.com/joaquimg/BilevelJuMP.jl/blob/954467f72a93b3cd37b2846971dfbfd458019af8/src/moi_utilities.jl#L70

> @constraint(model, [x, F(x), b - A * x] in MOI.VariationalInequality(2length(x), MOI.Nonnegatives(size(A, 1)))) I was thinking something about this. But it's pretty clunky to build. I think people would want...

@xhub do you have some simple pedagogical examples of polyhedral VI's that people would want to solve? (In the vein of https://jump.dev/JuMP.jl/stable/tutorials/nonlinear/complementarity/) Pick whatever syntax you like for now.

Okay, so we could make some nice syntax: ```julia model = Model() @variable(model, x[1:2] >= 0) F(x) = [1 - x[1], 1 - x[2]] C = [@build_constraint(model, sum(x) == 1)]...

> I must say I always found it a bit weird that the complementarity constraint implicitly uses the variable bounds Okaaaay. So. The backstory for this is: 1. It's the...

> Hard to follow your train of thought on that one without an example I meant the example immediately following. > Why not support both and throw an error if...