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

Posted 2021-04-03

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

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

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

先感谢您

答案

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

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

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

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