Есть ли способ моделировать нет N последовательных 1 в IntVar []?
Например, [1,1,1] нарушается, если N 2.