Dear all, Is it possible to not count a propagator's AFC into its subscribed variables' AFC? Because now I use INT_VAR_AFC_SIZE_MAX() variable heuristic while I do not want there is a big difference on the heuristic with or without adding my own constraint.
Many thanks. Zoe
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
