Ujhelyi Zoltan wrote: > I understand the problem stated here, but I would like to ask whether > there is a solution to add a constraint like that to a Boolean > Expression with the domain consistent propagation (ICL_DOM). > > I did not found any possibilities for that looking in the Gecode/J > API, but it would help a lot for our project.
No, that is currently not possible. I'm not sure right now how hard it would be to add, I'll have a look. Maybe we can make it available in the next release. Cheers, Guido _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users