[gecode-users] Time limit

[Christian Schulte]

Good luck! Me, expert in anything. You must be kidding ;-) Christian

 

--

Christian Schulte,  <http://www.gecode.org/~schulte> www.gecode.org/~schulte

Professor of Computer Science, KTH,  <mailto:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS, cschulte at sics.se

 

From: Pierpaolo Caricato [mailto:pierpaolo.caricato at unisalento.it] 
Sent: Tuesday, January 31, 2017 18:03
To: cschulte at kth.se; users at gecode.org
Subject: Re: [gecode-users] Time limit

 

Mmh. So, my assumption that gecode experts are also experts in the other solvers included in mini zinc is wrong... 😞

Thank you for your answer anyway. 

I've just posted this question there too. 👍🏻

 

Regards. 

 

Pierpaolo 

 

Il giorno mar 31 gen 2017 alle 16:27 Christian Schulte <cschulte at kth.se <mailto:cschulte at kth.se> > ha scritto:

Hi, this is not a Gecode question, please ask the question at the appropriate MiniZinc forum – for your own sake!

 

Best

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, RISE ICT/SICS, cschulte at sics.se <mailto:cschulte at sics.se> 

 

From: users-bounces at gecode.org <mailto:users-bounces at gecode.org>  [mailto:users-bounces at gecode.org <mailto:users-bounces at gecode.org> ] On Behalf Of Pierpaolo Caricato
Sent: Tuesday, January 31, 2017 15:57
To: users at gecode.org <mailto:users at gecode.org> 
Subject: [gecode-users] Time limit

 

Hi.

I’m new to this list and “almost new” to mini zinc and all its surrounding projects, including gecode.

I’ve seen in this mailing list archive that a time limit when running gecode from the CLI can be set appending 

--fzn-flags "-time 2000"

to the command line.

 

I understand I’m a bit OT here, but I assume many gecode users also use g12mip (I come from a PhD in Operations Research, so MIP is my main background, though I’m investigating more and more often CP as well)…

Why does this option not work when launching g12mip?

Can anybody give me a hint on how to set a time limit when I select this solver engine instead of gecode to solve a minizinc mip model?

 

Thank you

 

Pierpaolo Caricato

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