Docplex二进制约束报错：TypeError无法将线性约束转为布尔值

(i) 错误原因 #

你犯的核心错误是将线性约束表达式直接作为参数传入二进制变量的初始化方法，或试图把约束赋值给变量的二进制属性。

Docplex的binary_var()方法用于创建取值为0/1的二进制变量，它本身已经内置了0≤x≤1的约束，不需要额外传入约束作为参数。当你把约束表达式（比如x <= 1这类）当作布尔值传给需要布尔类型参数的位置时，Docplex会尝试将线性约束对象转换为布尔值，而约束本身是无法直接转为布尔的，因此触发TypeError: Cannot convert linear constraint to a boolean value: 0 <= 1。

典型错误代码示例：

from docplex.mp.model import Model

model = Model()
# 错误：将约束作为binary_var的参数传入
x = model.binary_var(model.add_constraint(x <= 1))
# 或错误：将约束表达式赋值给变量的binary属性
x = model.continuous_var()
x.binary = (x <= 1)

(ii) 修正方法 #

正确的操作是分离变量初始化与约束添加：先单独创建二进制变量，再用add_constraint()方法添加自定义约束（如果需要额外约束的话）。

正确代码示例 #

from docplex.mp.model import Model

model = Model()
# 第一步：初始化二进制变量（内置0/1约束）
x = model.binary_var(name='x')
y = model.binary_var(name='y')

# 第二步：添加自定义线性约束（按需添加）
# 示例1：添加变量间的约束
model.add_constraint(x + y == 1)
# 示例2：添加变量与常数的约束（虽然二进制变量默认满足0≤x≤1，这里仅作演示）
model.add_constraint(x >= 0)

补充说明 #

如果需要给二进制变量设置初始值（仅作为求解器的初始提示，不改变约束），可以使用init参数：

# 创建初始值为1的二进制变量
x = model.binary_var(init=1, name='x')

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