Multiple solutions from MiniZinc?

[odow]

Set MOI.SolutionLimit:

julia> using JuMP

julia> import MiniZinc

julia> model = GenericModel{Int}(() -> MiniZinc.Optimizer{Int}("chuffed"));

julia> set_attribute(model, MOI.SolutionLimit(), 10)  # Or some large value

julia> @variable(model, 1 <= x[1:2] <= 9, Int);

julia> @constraint(model, x in MOI.AllDifferent(2));

julia> @constraint(model, sum(x) == 3);

julia> optimize!(model)

julia> [value.(x; result = i) for i in 1:result_count(model)]
2-element Vector{Vector{Int64}}:
 [1, 2]
 [2, 1]

I guess this isn’t documented