timeout - ソルバータイムアウト用の Z3 JAVA-API

Question

Z3 JAVA API のソルバーのタイムアウトを設定するには?

この質問にもう一度戻ります。

これが私のコードです：

    Context ctx = getZ3Context();
    solver = ctx.MkSolver();
    Params p = ctx.MkParams();
    p.Add("timeout", 1);
    solver.setParameters(p);

機能しません。ソルバーはクエリを永遠に実行しているだけです。これについて何か考えはありますか？

Answer 1

さて、最終的に自分で解決策を見つけました：

Context ctx = getZ3Context();
solver = ctx.MkSolver();
Params p = ctx.MkParams();
/* Also tried
 * p.Add("timeout", 1),
 * p.Add(":timeout", 1), 
 * neither worked.
 */
p.Add("soft_timeout", 1);
solver.setParameters(p);