Re: [Choco-users] TimeLimit reached ?

[<gro...@em...>]

Hi,

A new version has just been published (1.0b002)... one of the last versio=
ns
befor the 1.0 release !! :)

Hadrien and I added a little API to manage limits. When the solving stops=
, you
can call isEncounteredLimit() to know if a limit has been reached, and
getEncounteredLimit() to get the reached limit.

In your case, you juste have to check the limit is the time limit and you=
 have
your answer.

This is just more general than your solution.

Moreover in this new version, you canfind :
 - some global constraint (namely gcc and alldiff)
 - extension constraints (thans to Hadrien !)

Hope it helps,
Regards,

Guillaume

Selon R=E9mi COLETTA <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
>




----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.