Z3 C API Изменение времени ожидания во время выполнения
Можно ли изменить значение времени ожидания решателя во время выполнения, используя C API? Чтобы установить время ожидания, можно сделать следующее:
Z3_config cfg = Z3_mk_config();
Z3_set_param_value(cfg, "SOFT_TIMEOUT", "10000") // set timeout to 10 seconds
Z3_context ctx = Z3_mk_context(cfg);
....
Z3_check_and_get_model(ctx);
....
....
Z3_check_and_get_model(ctx);
Однако предположим, что мы хотим изменить время ожидания для следующего запроса при сохранении контекста. Можно ли изменить значение времени ожидания между ними?