3.7.141. Magic series

modelling: magic series A constraint that allows for modelling the magic series problem with a single constraint. A non-empty finite sequence 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.