Z3 C API Zmiana limitu czasu w czasie wykonywania
Czy można zmienić wartość limitu czasu solvera w czasie wykonywania za pomocą C API? Aby ustawić limit czasu, można wykonać następujące czynności:
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);
Przypuśćmy jednak, że chcemy zmienić limit czasu dla następnego zapytania, zachowując kontekst, czy można zmienić wartość limitu czasu pomiędzy?