[gecode-users] Flazinc parsing problem

[Florent Verroust]

Hi,

I am making a PhD in Ilog. Yet I am trying to make a parser to use solve minizinc model with Ilog product. My frame work is to use the minizinc to flazinc translation and next to parse the flazinc model a write a model in our concept.

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?


Thanks in advance.
Best regards
Florent Verroust
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080212/6970b88c/attachment.htm>