Ok, I see. Thank you for looking into the problem,
Zoli On 2008.08.25., at 21:48, Guido Tack wrote: > Ujhelyi Zoltan wrote: >> I tested the new Gecode/J 2.2.0. I am very grateful for your work, >> but it did not work for me as I expected. I modified the >> constraints as you showed, but it did not prove the required >> equality. > > I had another look, and unfortunately, we cannot provide stronger > pruning for BExprs at the moment. The technical explanation is that > Exprs are translated to linear constraints, and there just is no > ICL_DOM for reified linear constraints. I just added the arguments, > but didn't realize that the actual pruning wouldn't happen. > > The only workaround is currently to post the reified constraints > directly, sorry. > > Cheers, > Guido > _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users