Z3：C ++中优化的超时

Question

我试图了解如何使用C ++ API为Z3的优化类设置超时。

这是我的代码：

context c;
optimize opt(c);
z3::params par(c);
par.set("timeout", 1000);
opt.set(par);

但我得到＆＃34;未知参数＆＃39;超时＆＃39;＆＃34; opt.set（par）行上的异常。是否可以设置优化类的超时（在超时后，我想获得找到的最佳解决方案）？

谢谢！

Answer 1

我知道这是一个老问题，但如果有人仍在寻找答案，你需要：

Z3_global_param_set（“超时”，超时）;

你的超时应该是一个C字符串。