pub unsafe extern "C" fn Z3_set_param_value( c: Z3_config, param_id: Z3_string, param_value: Z3_string )
Set a configuration parameter.
The following parameters can be set for
Z3_mk_config