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, cschu...@kth.se
<mailto:cschu...@kth.se>
Expert Researcher, SICS, cschu...@sics.se <mailto:cschu...@sics.se>
*From:*users-boun...@gecode.org [mailto:users-boun...@gecode.org] *On
Behalf Of *mehdi m
*Sent:* Monday, October 26, 2015 08:26 PM
*To:* users@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@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
