Re: [gecode-users] Extra level of variables needed for count?

2018-03-12 Thread Christian Schulte
ence, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun...@gecode.org<mailto:users-boun...@gecode.org> [mailto:users-boun...@gecode.org] On Behalf Of Neill Clift Sent: Saturday, March 10, 2018 20:37 T

Re: [gecode-users] Extra level of variables needed for count?

2018-03-12 Thread Neill Clift
cher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun...@gecode.org<mailto:users-boun...@gecode.org> [mailto:users-boun...@gecode.org] On Behalf Of Neill Clift Sent: Saturday, March 10, 2018 20:37 To: users@gecode.org<mailto:users@gecode.org&g

Re: [gecode-users] Extra level of variables needed for count?

2018-03-12 Thread Christian Schulte
rday, March 10, 2018 20:37 To: users@gecode.org<mailto:users@gecode.org> Subject: [gecode-users] Extra level of variables needed for count? Hi, I want to restrict the values of an array to members of a multiset. This is a bit like distinct but can have repeated values. So for example I want

Re: [gecode-users] Extra level of variables needed for count?

2018-03-12 Thread Neill Clift
:37 To: users@gecode.org Subject: [gecode-users] Extra level of variables needed for count? Hi, I want to restrict the values of an array to members of a multiset. This is a bit like distinct but can have repeated values. So for example I want the values of b[0..7] to come from the multiset {5

Re: [gecode-users] Extra level of variables needed for count?

2018-03-12 Thread Christian Schulte
ay, March 10, 2018 20:37 To: users@gecode.org Subject: [gecode-users] Extra level of variables needed for count? Hi, I want to restrict the values of an array to members of a multiset. This is a bit like distinct but can have repeated values. So for example I want the values of b[0..7]

[gecode-users] Extra level of variables needed for count?

2018-03-10 Thread Neill Clift
Hi, I want to restrict the values of an array to members of a multiset. This is a bit like distinct but can have repeated values. So for example I want the values of b[0..7] to come from the multiset {5,5,5,4,3,2,1,0}. The b’s are essentially a permutation of the multiset Count seems to be the