fzn-gecode, mod, wrong solutions

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;

Fixed on main. Variables are now unshared before posting the FlatZinc div and mod constraints, correcting the reported solutions.

Navigation Menu