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 cant 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
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
