[gecode-users] fzn-gecode -mode gist and variable names
Guido Tack
guido.tack at monash.edu
Fri Aug 12 03:06:08 CEST 2016
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.tack at monash.edu <mailto:guido.tack at monash.edu>
http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/>
> On 11 Aug 2016, at 8:22 PM, Christian Schulte <cschulte at 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, cschulte at kth.se <mailto:cschulte at kth.se>
> Expert Researcher, SICS, cschulte at sics.se <mailto:cschulte at sics.se>
>
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Mats Carlsson
> Sent: Thursday, August 11, 2016 09:28
> To: Guido Tack
> Cc: users at 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.tack at monash.edu <mailto:guido.tack at 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.tack at monash.edu <mailto:guido.tack at monash.edu>
> http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/>
>
>> On 11 Aug 2016, at 5:06 PM, Mats Carlsson <matsc at sics.se <mailto:matsc at 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.tack at monash.edu <mailto:guido.tack at 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.tack at monash.edu <mailto:guido.tack at monash.edu>
>> http://www.csse.monash.edu/~guidot/ <http://www.csse.monash.edu/~guidot/>
>>
>>> On 19 Jul 2016, at 6:39 PM, Mats Carlsson <matsc at sics.se <mailto:matsc at 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 at gecode.org <mailto:users at 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 at gecode.org <mailto:users at 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 at gecode.org <mailto:users at gecode.org>
> https://www.gecode.org/mailman/listinfo/gecode-users <https://www.gecode.org/mailman/listinfo/gecode-users>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160812/bc0f6188/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://www.gecode.org/pipermail/users/attachments/20160812/bc0f6188/attachment-0001.sig>
More information about the users
mailing list