Z3: délai d'attente pour l'optimisation en C ++ - c ++, optimisation, délai d'attente, z3

J'essaie de comprendre comment définir un délai d'attente pour la classe d'optimisation de Z3 à l'aide de l'API C ++.

C'est mon code:

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

Mais j'obtiens une exception "paramètre inconnu" timeout ""sur la ligne opt.set (par). Est-il possible de définir le délai d'attente pour la classe d'optimisation (après le délai d'attente, j'aimerais obtenir la meilleure solution trouvée)?

Je vous remercie!

Réponses:

Je sais que c’est une vieille question, mais si quelqu'un cherche toujours une réponse, il vous faut:

Z3_global_param_set ("délai d'attente", délai d'attente);

Et votre délai d'attente devrait être donné en tant que chaîne en C.