Hi,

I have a vector of integers x ={ x_{1}, ... ,x_{n} } and i want to express that at least one component of x must be set to "k" (I.e IloCount(x,k) >0 in a model).

I'm looking for similar functionnality of a IloCount or IloExpr to add this constraint to a cp during search (IlcCount doesn't exist ).

Best regards,

S.S