[gecode-users] fzn-gecode -mode gist and variable names

[Christian Schulte]

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:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS,  <mailto:cschulte at sics.se> 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> 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
http://www.csse.monash.edu/~guidot/

 

On 11 Aug 2016, at 5:06 PM, Mats Carlsson <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> 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
http://www.csse.monash.edu/~guidot/

 

On 19 Jul 2016, at 6:39 PM, Mats Carlsson <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

<tree.pdf>_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

 




-- 

Mats Carlsson, SICS
www.sics.se/~matsc

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

 




-- 

Mats Carlsson, SICS
www.sics.se/~matsc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20160811/74f49e7b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20160811/74f49e7b/attachment.bin>