Can a search have multiple Stop objects, eg for time and memory limits? Malcolm
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
Can a search have multiple Stop objects, eg for time and memory limits? Malcolm
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users