Python 将docplex表达式转换为字符串

如何将定义为docplex.mp.linear.linearxpr变量的约束的文本版本存储到Python字符串变量中？

使用str（ct）返回的字符串表示形式

str（ct1）=50nbBus50+40nbBus40+30nbBus30>=200

nbbus50 = mdl.integer_var(name='nbBus50')
nbbus40 = mdl.integer_var(name='nbBus40')
nbbus30 = mdl.integer_var(name='nbBus30')

ct1 = nbbus50 * 50 + nbbus40 * 40 + nbbus30 * 30 >= 200
print(f"str(ct1)= {str(ct1)}")