[Choco-users] TimeLimit reached ?

[C. <co...@li...>]

Hello,

   I'm using the TimeLimit in Choco... And i wonder if this feature
could be improved ?

Indeed currently, we have no way to know if the TimeLimit has been
rechead:
  When the solve() return true it's ok, but else we aren't able 
to distinguishif the TimeLimit has been rechead or if the problem
has no solution...

This can be fix it easy, as done in the attached file TimeLimit2...
But this were great if this could be integrated directly in choco
(by adding a method isTimeLimitReachead() in Solver) ?

Thanks,
--
Remi COLETTA