[gecode-users] Time limit

[Pierpaolo Caricato]

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> 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
>
> Professor of Computer Science, KTH, cschulte at kth.se
>
> Expert Researcher, RISE ICT/SICS, cschulte at sics.se
>
>
>
> *From:* 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
> *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/15c8dd2b/attachment-0001.html>