Hi, if you are calling mzn-gecode, you have to pass the time option on to the fzn-gecode executable, like this:
mzn-gecode --fzn-flags "-time 2000" --all-solutions problem.mzn Cheers, Guido -- Guido Tack http://www.csse.monash.edu/~guidot/ On 8 Sep 2014, at 6:05 pm, Max Myer <max...@aim.com> wrote: > 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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
