c++ - Z3:在C++中进行优化的超时

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

这是我的代码：

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

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

谢谢！

最佳答案

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

Z3_global_param_set（“ timeout”，timeout）;

并且您的超时应以C字符串形式给出。

关于c++ - Z3:在C++中进行优化的超时，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/38674049/