Gecode约束＆＃34;数组中的每个值至少出现k次＆＃34;

Question

它是Gecode c ++

我有一个长度为n的IntVarArgs值，我想推出一个约束，数组中的每个值至少出现k次（或0） f.e array [1,2,3,1,2,3,4,4,4]满足这个约束，k = 2

我现在所做的是

for (int i = 0; i < n; i++)
{
    count(*this, a, a[i], IRT_GQ, k);
}  

然而，随着n的增长，约束的数量增加，但我觉得它可以用单个约束表示。我还认为对于求解器而言，关闭数组本身并不是最佳的。