[gecode-users] Problem with Flatzinc 1.0 on Gecode 2.0
Guido Tack
tack at ps.uni-sb.de
Thu Feb 7 16:06:50 CET 2008
Mikael Zayenz Lagerkvist wrote:
> On Feb 7, 2008 11:40 AM, Raffaele Cipriano <cipriano at dimi.uniud.it>
> wrote:
>> $ Error: Registry: Constraint int_lin_lt not found in line no. 280
>>
>> and line 280 is
>>
>> 279 constraint
>> 280 int_lin_lt([ -1, 1, 1, -1 ], [ mark[0], mark[1],
>> mark[4],
>> mark[5] ], 0);
>>
>> It seems that it doesn't recognize the int_lin_lt constrain...the
>> file
>> (that correctly runs using $flatzinc golomb_0.fzn ) was generated
>> with
>> the mzn2fzn parser...suggestion?
>
>
> The current FlatZinc specification [1] does not include int_lin_lt as
> a constraint, so this is actually a bug in the translation or the
> specification (see Section A.1 Comparison operations).
Apparently, the online specification is not the newest version. I'll
add the new constraints and release an updated FlatZinc/Gecode soon.
Cheers,
Guido
More information about the gecode-users
mailing list