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

Question

我正在使用 OR-Tools 约束编程工具解决几何问题。

你们中的一个人能告诉我创建自定义约束的过程吗？我真的不明白恶魔，模型访客的行为......

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

先感谢您

Answer 1

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

您可以访问当前域（最小值、最大值、可能值列表，然后您可以从那里编写推导规则）。

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

现在，CP 求解器已被 CP-SAT 求解器取代，后者不允许编写自定义约束。在这种情况下，也许您可​​以使用布尔逻辑和算术运算符来表达约束。