Hi,
The following small FlatZinc model:
var bool: x;
array[1..1] of var int: y = [x];
solve satisfy;
produces:
Error: undefined identifier x in line no. 2
with fzn-gecode of Gecode 4.3.3. However, "x" is defined, but not of the
right type (bool vs int). Really not so important, but I though you
would like to know, in case you want to correct the error message in
that case.
(By the way, I just discovered that Gecode 4.4.0 had been released a few
days ago. Did I miss the announcement?)
Best,
Jean-Noël
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
