pub unsafe extern "C" fn Z3_del_config(c: Z3_config)
Delete the given configuration object.
Z3_mk_config