[Choco-users] setting Time and Node limits

[Sylvain B. <syl...@ce...>]

Hello all,

I am trying to set the time and node limits of the solver by using the
setTimeLimit(int) and setNodeLimit(int) methods of class Solver.
Unfortunately these methods don't seem to work well (at least in my
program).

I am using this instruction (s is an instance of class Solver):
s.setTimeLimit(1000);

Replacing this by :
s.getSearchSolver().limits.add(new TimeLimit(s.getSearchSolver(), 1000));
seems to work.

Did I misuse or misunderstand the methods setTimeLimit(int) and
setNodeLimit(int) ?
[I am using the CVS version of Choco.]

Thank you in advance !

Regards,
Sylvain Bouveret.