set_param_value method

void set_param_value(
  1. Z3_config c,
  2. Z3_string param_id,
  3. Z3_string param_value
)

\brief Set a configuration parameter.

The following parameters can be set for

\sa Z3_mk_config

def_API('Z3_set_param_value', VOID, (_in(CONFIG), _in(STRING), _in(STRING)))

Implementation

void set_param_value(
  Z3_config c,
  Z3_string param_id,
  Z3_string param_value,
) {
  return _set_param_value(
    c,
    param_id,
    param_value,
  );
}