Choco约束连续位

Question

有没有办法在IntVar []中没有连续的 N 个1s模型？

例如，如果 N 为2，则违反[1,1,1]。