set_binary notworking if solver = ipm

[joaquimg]

m = Model(optimizer_with_attributes(HiGHS.Optimizer, "solver"=>"ipm"))
@variable(m, x)
set_binary(x)

ERROR: Constraints of type MathOptInterface.VariableIndex-in-MathOptInterface.ZeroOne are not supported by the solver.

If you expected the solver to support your problem, you may have an error in your formulation. Otherwise, consider using a different solver.

The list of available solvers, along with the problem types they support, is available at https://jump.dev/JuMP.jl/stable/installation/#Supported-solvers.

[odow]

We should probably remove this:

HiGHS.jl/src/MOI_wrapper.jl

Lines 2412 to 2418 in 201cbed

	function MOI.supports_constraint(
	model::Optimizer,
	::Type{MOI.VariableIndex},
	::Type{<:Union{MOI.ZeroOne,MOI.Integer}},
	)
	solver = MOI.get(model, MOI.RawOptimizerAttribute("solver"))
	return solver != "simplex" && solver != "ipm"

But the solution for you is to remove the ipm option.

[joaquimg]

Did you git-blame that?
it seems uncommon to have such a check.

[joaquimg]

I might also has fallen in the issue: "HiGHS is hanging on windows". I think it was solved recently

[odow]

The blame was me way back in #50.

Present-self does not agree with the decision that past-self made.

I think it was solved recently

Yip. Update to the latest [email protected] and [email protected]