AddForbiddenAssignments 有限制吗？

Question

在 AddForbiddenAssignments 的模型中可以添加多少个元组才不会影响求解速度？几千、几万、几十万？

我在文档中没有找到关于这个的任何内容...

Answer 1

哪个求解器？ CP 或 CP-SAT。

对于后者，他们是相当快的，因为一个元组直接翻译成一个元组。我会说成千上万。但是，如果您达到了这个数字，那么这个问题可能相当大而且速度很慢。