制約プログラミングで次の制約を記述するにはどうすればよいですか? （できればGurobiまたはCometで）。
S は、サイズ n の整数の配列です。配列を埋めるために使用できる整数のセットは、1 から k の範囲です。使用できる整数ごとに制約ciがあります。ciは、連続する整数iの最小数を示します。
たとえば、c1 = 3、c2 = 2 の場合、1112211112111 は有効なシーケンスではありません。これは、2 つの連続する 2 が必要なためです。一方、1112211122111 は有効なシーケンスです。