z3 has “-t” to set the soft timeout (in milli seconds). But when I use z3 in Python, I cannot set “-t” through “set_option” or “Optimize.set” API.

I try all the following methods. But it does not work.

opt = Optimize()
set_option("soft timeout, 600)
set_option("opt.soft_timeout", True)  # 600 s
opt.set("t", 60 * 1000)
opt.set("soft_timeout", True)
opt.set("soft timeout", True)
opt.set("smt.soft_timeout", True)

Please tell me how to set “-t” in the Python API of z3.