[gecode-users] Error message with fzn-gecode

[Jean-Noël Monette]

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150325/5f10d0b3/attachment.html>