[gecode-users] flatzinc 1.2.1 question

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mikael Zayenz Lagerkvist
Sent: Wednesday, June 03, 2009 1:54 PM
To: Alejandro Arbelaez
Cc: users at 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.arbelaez at 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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>
>



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users