您可以用纸浆为指标约束建模吗？

Question

我想为用if z=0, then x=0编写的问题添加指标约束（例如x>=0，其中z和PuLP是二进制变量）。显然，我可以按照建议的here和here使用big-M方法。

但是，由于我的任期在MILP中不受限制，因此我无法使用big-M解决方法。我发现this post from 2016指出PuLP无法处理指标约束。

有人知道这种情况还是其他解决办法吗？

谢谢。