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

Reply via email to