[gecode-users] Problem with Flatzinc 1.0 on Gecode 2.0
Mikael Zayenz Lagerkvist
zayenz at gmail.com
Thu Feb 7 13:23:33 CET 2008
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).
Cheers,
Mikael
[1] http://www.g12.cs.mu.oz.au/minizinc/flatzinc-spec.pdf
--
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
More information about the gecode-users
mailing list