如何在Google OR-Tools的CP-SAT中为BoolVar赋值？

我目前能找到的为BoolVar进行简单赋值的唯一方法是这段代码：

BoolVar x = model.NewBoolVar("");
model.Add(x == 0);

但这种方式并不理想，因为model.Add()会创建线性约束而非直接的布尔赋值。

针对这个问题，你可以用更适配布尔变量的约束方法来实现赋值：

• 使用布尔非约束替代等式约束，更贴合布尔逻辑：

  model.AddBoolNot(x); // 等价于强制x为0
  

• 如果变量的值在模型构建阶段就已确定，完全可以直接用常量值替代该布尔变量，避免创建不必要的决策变量，降低模型复杂度。

内容的提问来源于stack exchange，提问作者systemloc