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
