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

Question

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

你们当中有人能告诉我创建自定义约束的过程吗？ 我真的不懂恶魔，模特访客的行为......

此外，是否可以插入任何类型的约束？

提前谢谢

Answer 1

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

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

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

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