AddForbiddenAssignments是否有限制？

Question

使用AddForbiddenAssignments可以将多少个元组添加到模型中，然后才影响求解速度？成千上万，数十万？

对于这个文档，我在文档中什么也没找到...

Answer 1

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

对于后者，它们非常快，因为一个元组直接转换为一个元组。我会说成千上万。但是，如果您达到了这个数字，那么问题可能很严重而且很慢。