По крайней мере один Var равен X в массиве Var с использованием Choco Solver

Я использую Choco Solver и, учитывая массив переменных типа int, мне нужно ограничение, которое проверяет, что хотя бы одна переменная в массиве равна статическому значению...

Что-то похожее на IntConstraintFactory#count, но со следующим документом:

/**
 * Let N be the number of variables of the VARIABLES collection assigned to value VALUE;
 * Enforce condition N >= LIMIT to hold.
 * <p>
 *
 * @param VALUE an int
 * @param VARS  a vector of variables
 * @param LIMIT a variable
 */
public static Constraint at_least(int VALUE, IntVar[] VARS, IntVar LIMIT) {
    return new Constraint("At least", /* help here ? */);
}

Кто-нибудь знает, существует ли он или как я могу эффективно его реализовать?