Error when adding objective

[mjposs]

Hi

I'm trying to use Chuffled on Mac OS (with julia 1.10.2, x_86-64, JuMP v0.21.4) and I'm getting an error:

julia> model = Model(Chuffed.Optimizer)
A JuMP Model
Feasibility problem with:
Variables: 0
Model mode: AUTOMATIC
CachingOptimizer state: EMPTY_OPTIMIZER
Solver name: FlatZincWriter

julia> @variable(model, x, Int)
x

julia> @variable(model, 0 <= y <= 3, Int)
y

julia> @objective(model, Min, 12x + 20y)
ERROR: MethodError: supports(::Chuffed.FZN.Optimizer, ::MathOptInterface.ObjectiveFunction{MathOptInterface.ScalarAffineFunction{Float64}}) is ambiguous.

Candidates:
  supports(model::Chuffed.FZN.Optimizer, attr::Union{MathOptInterface.AbstractConstraintAttribute, MathOptInterface.AbstractModelAttribute, MathOptInterface.AbstractOptimizerAttribute, MathOptInterface.AbstractVariableAttribute}, x...)
    @ Chuffed.FZN ~/.julia/packages/Chuffed/NBAVo/src/FlatZincOptimizer.jl:166
  supports(::MathOptInterface.ModelLike, attr::Union{MathOptInterface.AbstractModelAttribute, MathOptInterface.AbstractOptimizerAttribute})
    @ MathOptInterface ~/.julia/packages/MathOptInterface/YDdD3/src/attributes.jl:191

Possible fix, define
  supports(::Chuffed.FZN.Optimizer, ::Union{…})

Stacktrace:
 [1] is_bridged(b::MathOptInterface.Bridges.LazyBridgeOptimizer{…}, F::Type{…})
   @ MathOptInterface.Bridges ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/lazy_bridge_optimizer.jl:368
 [2] supports(b::MathOptInterface.Bridges.LazyBridgeOptimizer{…}, attr::MathOptInterface.ObjectiveFunction{…})
   @ MathOptInterface.Bridges ~/.julia/packages/MathOptInterface/YDdD3/src/Bridges/bridge_optimizer.jl:877
 [3] supports(m::MathOptInterface.Utilities.CachingOptimizer{…}, attr::MathOptInterface.ObjectiveFunction{…})
   @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/YDdD3/src/Utilities/cachingoptimizer.jl:704
 [4] set_objective_function(model::Model, func::MathOptInterface.ScalarAffineFunction{Float64})
   @ JuMP ~/.julia/packages/JuMP/e0Uc2/src/objective.jl:95
 [5] set_objective_function(model::Model, func::AffExpr)
   @ JuMP ~/.julia/packages/JuMP/e0Uc2/src/objective.jl:110
 [6] set_objective(model::Model, sense::MathOptInterface.OptimizationSense, func::AffExpr)
   @ JuMP ~/.julia/packages/JuMP/e0Uc2/src/objective.jl:128
 [7] macro expansion
   @ ~/.julia/packages/JuMP/e0Uc2/src/macros.jl:831 [inlined]
 [8] top-level scope
   @ REPL[25]:1
Some type information was truncated. Use `show(err)` to see complete types.

[blegat]

This package is not working with the latest versions. You can use chuffed through MiniZinc.jl

[mjposs]

Thank you. However, I cannot install MiniZinc either:

julia> Pkg.add("MiniZinc")
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package MathOptInterface [b8f27783]:
 MathOptInterface [b8f27783] log:
 ├─possible versions are: 0.5.0-1.31.2 or uninstalled
 ├─restricted to versions * by an explicit requirement, leaving only versions: 0.5.0-1.31.2
 ├─restricted by compatibility requirements with Chuffed [a105ee56] to versions: 0.9.0-0.10.9
 │ └─Chuffed [a105ee56] log:
 │   ├─possible versions are: 0.1.0-0.3.0 or uninstalled
 │   └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-0.3.0
 └─restricted by compatibility requirements with MiniZinc [a7f392d2] to versions: 1.4.0-1.31.2 — no versions left
   └─MiniZinc [a7f392d2] log:
     ├─possible versions are: 0.1.0-0.3.12 or uninstalled
     └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-0.3.12

[blegat]

You should uninstall Chuffed.jl first as it's holding JuMP and MathOptInterface to old versions

[mjposs]

Thank's, but I get other incompatibilities (below). I report them for completeness, but I'll try other CP solvers for now:

julia> Pkg.add("Chuffed")
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package MathOptInterface [b8f27783]:
 MathOptInterface [b8f27783] log:
 ├─possible versions are: 0.5.0-1.31.2 or uninstalled
 ├─restricted to versions * by an explicit requirement, leaving only versions: 0.5.0-1.31.2
 ├─restricted by compatibility requirements with Chuffed [a105ee56] to versions: 0.9.0-0.10.9
 │ └─Chuffed [a105ee56] log:
 │   ├─possible versions are: 0.1.0-0.3.0 or uninstalled
 │   └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-0.3.0
 └─restricted by compatibility requirements with MiniZinc [a7f392d2] to versions: 1.4.0-1.31.2 — no versions left
   └─MiniZinc [a7f392d2] log:
     ├─possible versions are: 0.1.0-0.3.12 or uninstalled
     └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-0.3.12

[blegat]

Chuffed is still in the log, did you do Pkg.rm("Chuffed") ?

[mjposs]

I did. I also removed "ConstraintProgrammingExtensions." Then, I could update MOI and add MiniZinc, but no longer Chuffed, as mentioned above.

[blegat]

I've just tagged new versions so there shouldn't be any conflict anymore

[mjposs]

Thank you.