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

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

4

1 回答 1

1

请参阅以下相关问题：

于 2013-11-15T02:50:26.023 回答