z3 - Linux/Mac での z3 タイムアウト

Question

こんにちは Leonardo: z3 (v3.2) は、Mac と Linux でタイムアウトを指定するためのコマンド ライン スイッチ "-T:10" を受け入れますが、無視しているようです。(Windows で試したことはありません。) Linux/Mac リリースでもタイムアウトがサポートされていれば、本当に素晴らしいことです。

Answer 1

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