fzn-gecode, mod, wrong solutions

[matsc-at-sics-se]

On Ubuntu 22.04.2 LTS.

The following model is unsat, but fzn-gecode finds several wrong solutions:

var -5 .. 5: A;
var -5 .. 5: B;
constraint A mod B=B;
solve :: int_search([A,B], input_order, indomain_median) satisfy;