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

[Christian Schulte]

Hi,

 

That should work out of the box, just do something like:

                fzn-gecode -time 1000 <filename>

which then uses a timeout of 1000 milliseconds.

 

Cheers

Christian

--

Christian Schulte, Professor of Computer Science, KTH,
www.gecode.org/~schulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Max Myer
Sent: Monday, September 08, 2014 10:05 AM
To: users at gecode.org
Subject: [gecode-users] Passing option -time to fzn-gecode

 

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/20140915/d02432b7/attachment-0001.html>