Z3 JAVA-API 中用于设置超时的错误

Question

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

Z3 将在特定基准测试的 10 秒内停止，无论我为"soft_timeout"设置了什么。

Answer 1

请参阅以下相关问题：

• Z3 JAVA-API 用于求解器超时
• Z3 C API 更改运行时超时
• 超时策略求解器的行为不正确
• Z3 超时与求解