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

Question

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

你们谁能告诉我创建自定义约束的过程吗？我不太了解恶魔，模型访客行为......

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

先感谢您

Answer 1

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

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

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

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