dizisindeki min ve maksimum değişken arasındaki mesafeyi tanımlamak için ICF kısıtlaması Bir dizi Choco çözücü IntVar değişkenine sahip olduğumu söyleyebilirim, X1, X2, ..., Xn. Kuralı zorlayan bir kı
Say, IntVar dizisi int n = 10; IntVar [] x = VariableFactory.boundedArray ("x", n, 0, 100, çözücü); Bu dizinin standart sapmasını (ondalık sayıya sahip bir sayı olabilir) kısıtlayan bir kısıtlamayı, ö