I am trying to solve a problem using ConstraintSolver.jl which uses JuMP. I want to define a constraint for a group of variables, such that certain values are only chosen certain times.

For eg: if the variables are `1 <= x[1:10] <= 3`

, I want it such that value `1`

is only chosen 2 times, value `2`

is only chosen 5 times and value `3`

is chosen 2 times.

Can this be achieved using the constraints defined in JuMP and ConstraintSolver (listed here)?