Repository navigation
fzn-gecode, table, wrong solution #167
Description
On Ubuntu 22.04.2 LTS.
Here is a model that produces two solutions, one right, one wrong.
include "globals.mzn";
var 1..1 union 3..3: B;
var 2..3: C;
array[int,int] of int: extension =
[| 3,3,2,1,
| 3,2,2,3,
| 4,4,3,1,
|];
constraint table([3,C,C,B],extension);
output ["\([B,C])\n"];
% SOLUTIONS
% [1,2] - wrong
% [3,2] - right
Activity
Check for duplicate variables in compact table, and unshare variables…
zayenz commentedon Jul 13, 2026
Fixed on
main. Compact tables now check for duplicate variables, and the FlatZinc table interface unshares variables before posting the constraint.