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
