Then, it's really better to always check out the last versions, we can't really offer support for very old versions (2.1.1 is 15 months old).
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Mikael Zayenz Lagerkvist Sent: Wednesday, June 03, 2009 1:54 PM To: Alejandro Arbelaez Cc: us...@gecode.org Subject: Re: [gecode-users] flatzinc 1.2.1 question Hi, While I'm not certain how the particular problem you are solving looks like, there have been several changes to FlatZinc since then. In particular, the default for arrays is now to start indexing from one instead of from zero, which obviously makes a lot of models incorrect. The file CHANGES in the Gecode/FlatZinc distribution contains a list of the changes for each version. Cheers, Mikael 2009/6/3 Alejandro Arbelaez <alejandro.arbel...@gmail.com>: > Dear all, > > I'm trying to use flatzinc-1.2.1 (and gecode-2.1.1) to solve the carseq > problem-instances from the minizinc repository. Working with this > flatzinc/gecode version I quickly get solutions that contains all zeros, > which I think is not correct. On the other hand, i just tried the same > instances using the last version of gecode/flazinc and after 10 minutes I > couldn't get a solution (but this is normal since these instances are quite > difficult, i think I will need a lot of time to get a solution).. > > Do you know if there is any bug in Gecode/Flatzinc-1.2.1 (or Minizinc > specification) to have this strange solutions. > > > Maybe the easiest solution would be to move to gecode-3*, but it is a bit > difficult for me to move to the last gecode version. > > > > Many thanks > Alejandro > > > > _______________________________________________ > Gecode users mailing list > us...@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users > > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
