linux/mac上的z3超時

Question

嗨Leonardo：看起來像z3（v3.2）接受命令行開關「-T：10」用於指定Mac和Linux上的超時值，但忽略它。 （還沒有在Windows上試過。）如果Linux/Mac發行版支持超時，它會非常好。

Answer 1

是的，-T開關僅在Z3 3.2中爲Windows。這將在下一個版本中解決。