- Global Z3_del_config (Z3_config c)
- Global Z3_mk_config (void)
- Global Z3_mk_context (Z3_config c)
- Global Z3_set_param_value (Z3_config c, Z3_string param_id, Z3_string param_value)
- Global Z3_update_param_value (Z3_context c, Z3_string param_id, Z3_string param_value)