简体繁体 English

cp_sat 求解器中的 AddBoolOr 和 AddImplication

[英]AddBoolOr and AddImplication in cp_sat solver

原文 2022-08-27 08:04:03 8 1 or-tools/ constraint-programming/ operations-research/ cp-sat-solver

Hi I have difficulty understand the following code, can anyone help to explain?嗨，我很难理解以下代码，有人可以帮忙解释一下吗？ Thanks in advance!提前致谢！

model.AddBoolOr(x, y.Not(), b)
model.AddImplication(b, x)
model.AddImplication(b, y)

1 个解决方案

It is most likely wrong.这很可能是错误的。 It should be x.not() in the addboolor它应该是 addboolor 中的 x.not()

It encodes b <=> x && y它编码b <=> x && y

Or-tools cp_sat求解器结果不一致 - Or-tools cp_sat solver is inconsistent in results

CP_SAT：是否可以限制使用的 RAM？ - CP_SAT: Is it possible to limit the RAM used?

构建后是否可以修改cp_sat模型？ - Is it possible to modify a cp_sat model after construction?

播种 CP-SAT 求解器 - Seeding the CP-SAT solver

安排w。 CP-SAT求解器非常慢 - Scheduling w. CP-SAT solver is very slow

使用 CP-SAT Solver 求解非线性目标函数 - Using CP-SAT Solver for non-linear objective function

在 Google CP-Sat Solver Or-Tools 中添加条件 - Add Condition in Google CP-Sat Solver Or-Tools

IntVar 的域会影响 CP-SAT 求解器的性能吗 - Does the domain of an IntVar affect the performance of a CP-SAT solver

将 or 语句添加到 OR-Tools 约束（CP-SAT 求解器） - Adding an or-statement to an OR-Tools constraint (CP-SAT solver)

Or-Tools CP-SAT 求解器导出/导入：加载 model 后如何访问变量？ - Or-Tools CP-SAT solver export/import: how to access vars after loading a model?

暂无

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 Or-tools cp_sat求解器结果不一致 - Or-tools cp_sat solver is inconsistent in results CP_SAT：是否可以限制使用的 RAM？ - CP_SAT: Is it possible to limit the RAM used? 构建后是否可以修改cp_sat模型？ - Is it possible to modify a cp_sat model after construction? 播种 CP-SAT 求解器 - Seeding the CP-SAT solver 安排w。 CP-SAT求解器非常慢 - Scheduling w. CP-SAT solver is very slow 使用 CP-SAT Solver 求解非线性目标函数 - Using CP-SAT Solver for non-linear objective function 在 Google CP-Sat Solver Or-Tools 中添加条件 - Add Condition in Google CP-Sat Solver Or-Tools IntVar 的域会影响 CP-SAT 求解器的性能吗 - Does the domain of an IntVar affect the performance of a CP-SAT solver 将 or 语句添加到 OR-Tools 约束（CP-SAT 求解器） - Adding an or-statement to an OR-Tools constraint (CP-SAT solver) Or-Tools CP-SAT 求解器导出/导入：加载 model 后如何访问变量？ - Or-Tools CP-SAT solver export/import: how to access vars after loading a model?

相关标签

粤ICP备18138465号 © 2020-2024 STACKOOM.COM