自定义约束OR-Tools //约束编程

Question

我正在使用OR-Tools约束编程工具处理一个几何问题。

你们能告诉我创建自定义约束的步骤吗？我不太理解恶魔，模拟访问者的行为……

另外，可以插入任何类型的约束吗？

提前谢谢你

Answer 1

要编写约束，您需要了解在搜索过程中，变量不会被实例化(域被缩减为单个值)。因此，调用Value()不起作用。

您可以访问当前域名(最小、最大、可能值列表，然后可以从中编写扣费规则)。

参见https://github.com/google/or-tools/blob/stable/examples/cpp/dobble_ls.cc。

现在，CP求解器已替换为CP-SAT求解器，该求解器不允许写入自定义约束。在这种情况下，也许你可以用布尔逻辑和算术运算符来表达约束。