Hi all, After calling "status" is it possible to get a list of all the domain values pruned, or even a list of all the variables who had their domains pruned? I am able to iterate through all variables and compare their domains, but this is of course, not very fast.
Thanks a lot, Matthew
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
