Z3
Deprecated List
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)