Sympy：仅强制分配变量的约束

Question

我想知道是否有办法只强制在Sympy中为变量赋值的约束。例如：

z=symbols("z:5")
C=[constraint("c1", Ne(z[0],1)), constraint("c2",Ne(z[1],2))]
print([(C[i].subs({z[0]:3})==True) for i in range(2)])

输出：

[True,False]

但是，正如您所看到的那样，即使z [1]从未替换过值，也会强制执行第二个约束。我希望第二个约束返回True，因为它从未被赋值。谢谢你的帮助

-RIk