As a bit of an update, this is indeed due to MOI v0.9 → v0.10. For now, I suppose I’ll work with JuMP v0.21.10 and MOI v0.9.22. Looking forward to solving this little issue at some point !
As a bit of an update, this is indeed due to MOI v0.9 → v0.10. For now, I suppose I’ll work with JuMP v0.21.10 and MOI v0.9.22. Looking forward to solving this little issue at some point !