No, that wouldn’t work. I just pushed a change that should fix it properly.
Cheers, Guido -- GUIDO TACK Senior Lecturer Information Technology Monash University Level 6, Room 6.40, Building H, Caulfield Campus 900 Dandenong Road Caulfield East VIC 3145 Australia T: +61 3 9903 1214 E: guido.t...@monash.edu <mailto:guido.t...@monash.edu> http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/> > On 11 Aug 2016, at 8:22 PM, Christian Schulte <cschu...@kth.se> wrote: > > Guido, how about adding a search annotation “free”? Would that work? Cheers > Christian > > -- > Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte> > Professor of Computer Science, KTH, cschu...@kth.se <mailto:cschu...@kth.se> > Expert Researcher, SICS, cschu...@sics.se <mailto:cschu...@sics.se> > > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of > Mats Carlsson > Sent: Thursday, August 11, 2016 09:28 > To: Guido Tack > Cc: users@gecode.org > Subject: Re: [gecode-users] fzn-gecode -mode gist and variable names > > Is there a way to _tell_ fzn-gecode to use free search and to ignore any > search annotation? > > On Thu, Aug 11, 2016 at 9:10 AM, Guido Tack <guido.t...@monash.edu > <mailto:guido.t...@monash.edu>> wrote: > The -f command line option is actually a no-op, it’s just there to maintain > compatibility with the MiniZinc challenge (the specification is that you > /may/ ignore the search annotation, not that you /must/…). > > Cheers, > Guido > > -- > GUIDO TACK > Senior Lecturer > > Information Technology > Monash University > Level 6, Room 6.40, Building H, Caulfield Campus > 900 Dandenong Road > Caulfield East VIC 3145 > Australia > > T: +61 3 9903 1214 <tel:%2B61%203%209903%201214> > E: guido.t...@monash.edu <mailto:guido.t...@monash.edu> > http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/> > >> On 11 Aug 2016, at 5:06 PM, Mats Carlsson <ma...@sics.se >> <mailto:ma...@sics.se>> wrote: >> >> Thanks Guido. I need this in a context with free search, and by the way >> another unfortunate thing about fzn-gecode is that any search annotation >> seems to disable the -f flag. >> So free search seems incompatible with Gist showing variable names... What a >> pity. I hope that you will return to these points eventually. >> >> Keep up the good work, >> >> On Thu, Aug 11, 2016 at 8:38 AM, Guido Tack <guido.t...@monash.edu >> <mailto:guido.t...@monash.edu>> wrote: >> Hi Mats, >> >> this is a limitation in the current fzn-gecode interpreter, we can only get >> variable names for variables that are mentioned in a search annotation. So >> currently the only workaround is to include all variables in some search >> annotation (but of course I understand that that’s not necessarily what you >> want to do). I had a look at fixing this at some point, but it turned out >> to be more than just a few lines of code so I had to leave it for the time >> being. >> >> Cheers, >> Guido >> >> -- >> GUIDO TACK >> Senior Lecturer >> >> Information Technology >> Monash University >> Level 6, Room 6.40, Building H, Caulfield Campus >> 900 Dandenong Road >> Caulfield East VIC 3145 >> Australia >> >> T: +61 3 9903 1214 <tel:%2B61%203%209903%201214> >> E: guido.t...@monash.edu <mailto:guido.t...@monash.edu> >> http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/> >> >>> On 19 Jul 2016, at 6:39 PM, Mats Carlsson <ma...@sics.se >>> <mailto:ma...@sics.se>> wrote: >>> >>> Hi, I have a problem with fzn-gecode -mode gist, Gecode trunk 14847, >>> MiniZinc 2.0.13. >>> Namely, anonymous variable names like var[123] get displayed instead of the >>> variable names of the .fzn file. Admittedly, the latter names are a bit >>> awkward, but at least they enable me to relate back to the names of the >>> MiniZinc model. But I have no idea how to map the var[...] names to the >>> names of the .fzn file. I have tried to edit the .fzn file in various ways >>> to make Gist use its names, but it has not helped. Is there some >>> work-around? >>> >>> See the attachment for an example. >>> >>> -- >>> Mats Carlsson, SICS >>> www.sics.se/~matsc <http://www.sics.se/~matsc> >>> <tree.pdf>_______________________________________________ >>> Gecode users mailing list >>> users@gecode.org <mailto:users@gecode.org> >>> https://www.gecode.org/mailman/listinfo/gecode-users >>> <https://www.gecode.org/mailman/listinfo/gecode-users> >> >> >> >> >> -- >> Mats Carlsson, SICS >> www.sics.se/~matsc <http://www.sics.se/~matsc> >> _______________________________________________ >> Gecode users mailing list >> users@gecode.org <mailto:users@gecode.org> >> https://www.gecode.org/mailman/listinfo/gecode-users >> <https://www.gecode.org/mailman/listinfo/gecode-users> > > > > > -- > Mats Carlsson, SICS > www.sics.se/~matsc > <http://www.sics.se/~matsc>_______________________________________________ > Gecode users mailing list > users@gecode.org <mailto:users@gecode.org> > https://www.gecode.org/mailman/listinfo/gecode-users > <https://www.gecode.org/mailman/listinfo/gecode-users>
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
