linux/mac上的z3超时

Question

嗨Leonardo：看起来像z3（v3.2）接受命令行开关“-T：10”用于指定Mac和Linux上的超时值，但忽略它。 （还没有在Windows上试过。）如果Linux/Mac发行版支持超时，它会非常好。

Answer 1

是的，-T开关仅在Z3 3.2中为Windows。这将在下一个版本中解决。