[gecode-users] AllDiff_except_0

[Jean-Noël Monette]

Hi,

Another way to do it is to use a global cardinality constraint (called 
"count" in Gecode) with an upper bound of 1 for all values, except 0 for 
which you put any suitable large value. This requires to know the list 
of possible values in advance.

Cheers,

JN

On 2015-10-27 09:38, Christian Schulte wrote:
>
> Hi,
>
> No, unfortunately not. If you need it really badly, I could put it on 
> Gecode’s wishlist.
>
> For the time being, you would have to resort to using reification.
>
> Cheers
>
> Christian
>
> --
>
> Christian Schulte, www.gecode.org/~schulte
>
> Professor of Computer Science, KTH, cschulte at kth.se 
> <mailto:cschulte at kth.se>
>
> Expert Researcher, SICS, cschulte at sics.se <mailto:cschulte at sics.se>
>
> *From:*users-bounces at gecode.org [mailto:users-bounces at gecode.org] *On 
> Behalf Of *mehdi m
> *Sent:* Monday, October 26, 2015 08:26 PM
> *To:* users at gecode.org
> *Subject:* [gecode-users] AllDiff_except_0
>
> Hi everyone,
>
> Is there the constraint (AllDiff_except_0) in gecode ?
>
> Thanks.
>
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20151027/6f9c04c6/attachment.html>