Oscar Dowson

@blegat can you take a look at this?

Okay. I've added a bridge from `Reified{AllDifferent}` to `Reified{CountDistinct}` and one from `Reified{CountDistinct}` to MILP. I've also added a test for `Reified{AlDifferent}` and verified that HiGHS passes the test with...

I think I'm pretty happy with this, so I'll leave open for a few days if anyone wants to comment, otherwise I'll merge.

I think this is out-of-scope for MathOptInterface 1.0. There are only a handful of solvers that need this, and they are already implemented. The Ipopt.jl wrapper could do with a...

This could be a separate package first. It's really one of these "model transformers" we have been talking about. - Dualization.jl: model -> dual - Complementarity.jl: model + `Complements` ->...

https://github.com/jump-dev/Ipopt.jl/pull/320 adds a `QPData` type with overloads that solves this.

I'll review a pull request to add these with tests if you want to make one :) Source goes here: https://github.com/jump-dev/Gurobi.jl/blob/master/src/MOI_wrapper/MOI_multi_objective.jl For the tests, write a new function here: https://github.com/jump-dev/Gurobi.jl/blob/master/test/MOI/MOI_multiobjective.jl

Use `objective_bound(model)` from JuMP instead. Using the C API is an advanced an largely undocumented feature. You need to use JuMP in direct mode: ```Julia using JuMP, Gurobi const GRB_ENV...

I'll leave this issue open as a reminder we need to better document this.

## The bridging case ```Julia include("bench.jl") using SnoopCompile tinf = @snoopi_deep example_diet(Clp.Optimizer, true) julia> tinf InferenceTimingNode: 11.698169/22.652688 on InferenceFrameInfo for Core.Compiler.Timings.ROOT() with 107 direct children julia> staleinstances(tinf) SnoopCompileCore.InferenceTiming[] ``` This...