title: Minizinc - How can I constrain each column of an array to contain only one of a given integer?
body: <p>I'm trying to populate a 10 row array such that each column contains a "1",  a "2", a "3" and seven "0" s.  Does anyone have any idea how to do this?  I tried constraining the column total to equal 6 but that returned columns with six ones, two threes etc.  Is there a 'count' function that I am unaware of?  Thanks!</p>