On Feb 7, 2008 11:40 AM, Raffaele Cipriano <[EMAIL PROTECTED]> 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/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
