z3 - linux/mac 上的 z3 超时

Question

嗨 Leonardo：看起来 z3 (v3.2) 接受命令行开关“-T:10”来指定 Mac 和 Linux 上的超时，但忽略它。（还没有在 Windows 上尝试过。）如果 linux/mac 版本也支持超时，那就太好了。

Answer 1

是的，该-T开关仅适用于 Z3 3.2 中的 Windows。这将在下一个版本中修复。