It looks like the problem was the domain size. I manually rescaled the domain down by a factor of 100, and it worked (very quickly), even with full recomputation.
Thanks for all of your help, -Joe
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
