z3 timeout on linux/mac

Question

こんにちはレオナルド：z3（v3.2）のように、MacとLinuxでタイムアウトを指定するためのコマンドラインスイッチ "-T：10"を受け付けていますが、無視しています。 （Windowsで試したことはありませんでした。）タイムアウトがlinux/macリリースでもサポートされていれば本当にうれしいでしょう。

Answer 1

はい、-TスイッチはZ3 3.2のWindowsのみです。これは次のリリースで修正される予定です。