[Choco-users] Reified Or Constraint

[Luciano M. G. <luc...@gm...>]

Dear users,
I am new in the mail list. I hope there are some actives users that can help
me.
My situation is the next one:
I have many constraints C created as: Choco.eq(Choco.sum(List of variables
1),Choco.sum(List of variables 2)).
Then, i create other consraint D, as D=Choco.or(C1,C2) C being constraint as
explained in the previous line.

When i want to create a reified constraint RC=Choco.reified(Variable,D), in
execution i get an error saying that i cant have and object and
its opposite in the same predicate.
Is there anyway to do a reified of an or.constraint? is not the case of
RaifiedOr because the or constraint is not among two variables but among two
constraints.

My actual solution is to do a reified for any constraint C,B<=>Var, and then
do a reifiedOr constraint for the variables Var.
ReifiedOr(Var1,Var2)<=>newVar. But the pruning will not work so
efficiently.

Thank in advance,
Luciano.