Oscar Dowson

I have transferred this issue to MiniZinc.jl. If we come up with something that is broadly useful, we can consider adding it to MOI.

So perhaps the right approach is to define a bunch of MOI sets in MiniZinc.jl ``` predicate reachable(int: N, int: E, array [int] of int: from, array [int] of int:...

MiniZinc.jl cannot support user-defined functions because it is a file-based I/O. The user-defined functions supply only callback oracles in Julia.

We could consider moving this to jump-dev. I don't think @martinbiel isn't active on GitHub anymore, but I'll email him.

@avinashresearch1 happy to review/merge PRs.

> We will see a difference in performance though I don't think this is the most important consideration. It doesn't have to be HiGHS. But it's hard (or impossible) to...

Providing a closed source binary library could be sufficient for people who compile Uno themselves. But I'm a bit cautious including it in Uno_jll for us to distribute. * What...

To clarify, I am not comfortable including BQPD in Uno_jll unless: * You make the source code publicly available under an open-source license. We then compile, host, and distribute BQPD_jll...

@amontoison can you please delete your comment? I don't want us to provide any legal advice or template. Let's take this discussion offline. I'll send an email.

> But when the final results are reported the objective is very different. What is the output of `JuMP.solution_summary(model)` after solving? What is the value of `JuMP.objective_value(model)`? > It solves...