public extern static void Z3_set_param_value(Z3_config a0, string a1, string a2);
public extern static Z3_context Z3_mk_context_rc(Z3_config a0);
public static Z3_context Z3_mk_interpolation_context(Z3_config a0) {
Z3_context r = LIB.Z3_mk_interpolation_context(a0);
return r;
}
public extern static void Z3_del_config(Z3_config a0);
public static Z3_context Z3_mk_context_rc(Z3_config a0) {
Z3_context r = LIB.Z3_mk_context_rc(a0);
if (r == IntPtr.Zero)
throw new Z3Exception("Object allocation failed.");
return r;
}
public static void Z3_set_param_value(Z3_config a0, string a1, string a2) {
LIB.Z3_set_param_value(a0, a1, a2);
}
public static void Z3_del_config(Z3_config a0) {
LIB.Z3_del_config(a0);
}
public extern static Z3_context Z3_mk_interpolation_context(Z3_config a0);
public static Z3_context Z3_mk_context_rc(Z3_config a0) {
Z3_context r = LIB.Z3_mk_context_rc(a0);
return r;
}
