I'm modeling a problem where I have a set of binary decision variables $x_{ij}$ that has a value of 1 if the person $i$ is allocated to day $j$ or 0 otherwise.
I have another set of binary decision variables $n_{jk}$ that has a value of 1 if the $j$'s day has $k$ persons assigned to it.
I need a way to force the $n_{jk}$ to 1 if the $\sum x_{ij} = k$, 0 otherwise.