Context ctx = getZ3Context();
solver = ctx.MkSolver();
Params p = ctx.MkParams();
p.Add("soft_timeout", 1);
solver.setParameters(p);
无论我为“ soft_timeout”设置了什么，Z3都会在特定基准测试的10秒内停止。
最佳答案
请参阅以下相关问题：
Z3 JAVA-API for solver timeout
Z3 C API Changing Timeout at Runtime
Incorrect Behavior for tactic solver for timeout
Z3 Timeout with Solver
关于java - Z3 JAVA-API中的错误以设置超时，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19991797/