Z3 C API cambia el tiempo de espera en el tiempo de ejecución
¿Es posible cambiar el valor de tiempo de espera del solucionador en tiempo de ejecución utilizando C API? Para establecer el tiempo de espera se puede hacer lo siguiente:
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);
Sin embargo, supongamos que queremos cambiar el tiempo de espera para la próxima consulta mientras se mantiene el contexto, ¿es posible cambiar el valor de tiempo de espera entre?