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 <cschu...@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, cschu...@kth.se > > Expert Researcher, RISE ICT/SICS, cschu...@sics.se > > > > *From:* users-boun...@gecode.org [mailto:users-boun...@gecode.org] *On > Behalf Of *Pierpaolo Caricato > *Sent:* Tuesday, January 31, 2017 15:57 > *To:* users@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 >
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
