[gecode-users] Problem with constraint

[Guido Tack]

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