[gecode-users] Passing option -time to fzn-gecode

[Max Myer]

I'm trying to run a few minizinc examples by calling 


$ mzn-gecode --all-solutions problem.mzn


I'd like to terminate the solve process after a specified amount of time. I found the argument "-time" in fzn-gecode (--help), but am unsure how to pass it to fzn-gecode.


Adding "-time" to the mzn-gecode call results in the general fzn-gecode help output. Perhaps this is due to this part in fzn-gecode.cpp:


...
int main(int argc, char** argv) {
  Support::Timer t_total;
  t_total.start();
  FlatZinc::FlatZincOptions opt("Gecode/FlatZinc");
  opt.parse(argc, argv);
  
  if (argc!=2) {
    cerr << "Usage: " << argv[0] << " [options] <file>" << endl;
    cerr << "       " << argv[0] << " -help for more information" << endl;
    exit(EXIT_FAILURE); 
  } 
  ...


Anyway, I'd appreciate some help on this.


Cheers,
Max
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140908/70191205/attachment.html>