[gecode-users] Elapsed time and timeout

Tommaso Urli tommaso.urli at uniud.it
Thu Mar 14 17:29:42 CET 2013


> Hi, check for stop objects in the search chapter. There you can specify
> timeouts.

Hello,
     thank you for your support, I'll have a look at that.

Tommaso




More information about the users mailing list