search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
283 stars 76 forks source link

fzn-gecode, table, wrong solution #167

Open matsc-at-sics-se opened 1 year ago

matsc-at-sics-se commented 1 year ago

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