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
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
