Exception when "alldifferent_except_0" is used in Minizinc model

[Bogdan Vlad]

Hello,

I have a Minizinc model and I want to run the FZN Oscar CBLS Search solver. I got the solver from here. I've noticed that if I use alldifferent_except_0 in the Minizinc model I get the following exception:

oscar.flatzinc.NoSuchConstraintException: Constraint fzn_global_cardinality_low_up_closed is not implemented in Intermediate Representation
 at oscar.flatzinc.parser.Model.$anonfun$makeConstraint$2(NewModel.scala:541)
...

I am new to Constraint Programming and Oscar and I want to understand why this happens. The constraint "alldifferent_except_0" is not supported by the Oscar solver? I've found this online, I am not sure if it is relevant to my problem.

Any way to work around this error?

Thank you,

Bogdan

[Bogdan Vlad]

I've tried to remove the "alldifferent_except_0" and now I see "oscar.flatzinc.NoSuchConstraintException: Constraint int_eq_imp is not implemented in Intermediate Representation". Am I doing something wrong or it is just that my model can't be run without some big changes?