Oscar Dowson

Reproducible example: ```Julia julia> using JuMP, Alpine, Juniper julia> model = Model(Alpine.Optimizer); julia> set_attribute(model, "minlp_solver", optimizer_with_attributes(Juniper.Optimizer)) julia> @variable(model, x, Bin) x julia> @NLconstraint(model, x^2 optimize!(model) ERROR: type Symbol has no...

The bug is in Alpine, so changing the solver won't work. Just use Bonmin directly: ```Julia julia> using JuMP, AmplNLWriter, Bonmin_jll julia> N1, N, zp = 5, 10, 2 (5,...

There's a short-term "we could probably make it work fix" and then a longer rewrite to exploit the new structure. This is on my TODO list, but no ETA

> I think this needs some kind of problem traits, like islinear, isquadratic, isnonlinear, ismixedinteger, isadable in order to choose an appropriate solver. One problem is that these need to...

> Now that nonlinear tearing and alias elimination applies to OptimizationSystem Is there a link? Where can I find more info?

We check if there is a dual ray for all infeasible problems: https://github.com/jump-dev/HiGHS.jl/blob/0160bd354c9587c0aa95944f8bbda8d21a735424/src/MOI_wrapper.jl#L1700C7-L1703 We trap and handle the error, so this is not an actual problem and no error is...

I don't use Windows so I don't know what this is or what it would require. What is the aforementioned Windows installer? HiGHS is just an executable?

@jhay778 just encountered this working on OpenSolver. The fix of setting `threads=1` seemed to fix it. It hung pretty frequently. It looked like some of the threads were not getting...

x-ref #781 #896 Are there any other solvers that support callbacks on a per-iteration basis for simplex and interior point? That seems like it'd cause a massive slow-down.

Nice detective skills! I bet this was a painful example to find. > However, as there does not seem to be a formal specification of the MPS file format, I...