Function z3_sys::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