3.7.134. Magic series

A constraint that allows for modelling the magic series problem with one single constraint. A non -empty finite series S=(s 0 ,s 1 ,...,s n ) is magic if and only if there are s i occurrences of i in S for each integer i ranging from 0 to n. 3,2,1,1,0,0,0 is an example of such a magic series for n=6.