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-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Max Myer
Sent: Monday, September 08, 2014 10:05 AM
To: users@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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
