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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
