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; }