Function Z3_set_param_value

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

See also:

• Z3_mk_config