Using Google OR-Tools, CP-SAT, how do you make an assignment to a BoolVar?

Question

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

This is the only way I can determine how to create a simple assignment to a BoolVar. It's suboptimal, though, as Add creates a linear constraint, rather than a Boolean assignment.

Answer 1

model.AddBoolAnd(x)

Note that the linear is just temporary. It will be presolved away.

In C++, you also have model.FixVariable(x, 0);