标签： optimization linear-programming constraint-programming or-tools
我想知道是否存在gover或者工具中的solver.AllDifferent（x）的概括，它允许指定我允许的多少个不同元素。
因此，如果len（x）= 4，那么AllDifferent（x）意味着len（set（x））= 4.但是如果我只想执行＆＃34;至少2个不同的＆＃34;，那么：len（set（x））＆gt; = 2？
是否存在一个约束，使AllDifferent能够设置解决方案变量的基数？