On Feb 12, 2008 10:42 AM, Florent Verroust <[EMAIL PROTECTED]> wrote: > Yet I am trying to do the same with Gecode. I use Gecode 2.0.0 and > flatzinc-gecode-1.0, but I can't solve model produce by minizinc to > flatzinc. This give an error if its meet a constant (i.e : int I = 3). > > What can I do to correct this?
Hi, This issue was brought up recently in the mailing list, and Guido fixed it in the current Gecode flatzinc trunk. You can access it through $ svn co --username anonymous https://svn.gecode.org/svn/interfaces/flatzinc/trunk gecode-flatzinc Cheers, Mikael -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
