Open matsc-at-sics-se opened 1 year ago
Here is the smallest model that I was able to find for this bug.
include "globals.mzn";
var 1..3: A;
var 1..3: B;
var 1..3: C;
var 1..2: D;
var 2..3: E;
var 2..3: G;
constraint
global_cardinality([3,A,D,G,E],[1,2,3],[1,B,C]) :: domain;
solve :: int_search([D,A,E,B], input_order, indomain_random, complete) satisfy;
output ["\([A,B,C,D,E,G])\n"];
Missing solution:
[3, 1, 3, 1, 2, 3]
On Ubuntu 22.04.2 LTS.
The following model has 26 solutions, but
fzn-gecode
find only 22. Model: