Z3: изчакване за оптимизиране в C ++ - c ++, оптимизация, timeout, z3

Опитвам се да разбера как да задам време за изчакване за оптимизиране на клас Z3, използвайки C ++ API.

Това ми е моят код:

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

Но получавам изключение за "неизвестен параметър" "timeout" "на линията opt.set (par). Възможно ли е да зададете времето за изчакване за оптимизиране клас (след изтичане на срока, бих искал да получа най-доброто намерено решение)?

Благодаря ти!

Отговори:

Знам, че това е стар въпрос, но ако някой все още търси отговор, трябва:

Z3_global_param_set ("timeout", timeout);

А вашето изчакване трябва да бъде дадено като С низ.