Guido, how about adding a search annotation “free”? Would that work? Cheers Christian
-- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> 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> 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 http://www.csse.monash.edu/~guidot/ On 11 Aug 2016, at 5:06 PM, Mats Carlsson <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> 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 http://www.csse.monash.edu/~guidot/ On 19 Jul 2016, at 6:39 PM, Mats Carlsson <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 <tree.pdf>_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users -- Mats Carlsson, SICS www.sics.se/~matsc _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users -- Mats Carlsson, SICS www.sics.se/~matsc
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
