[gecode-users] Flazinc parsing problem

[Mikael Zayenz Lagerkvist]

On Feb 12, 2008 10:42 AM, Florent Verroust <fverroust at ilog.fr> 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/