public static Z3BoolExpr Iff(this Z3BoolExpr expr1, Z3Context context, Z3BoolExpr expr2) { Contract.Assert(expr1 != null && expr2 != null); return(context.MkIff(expr1, expr2)); }
public static Z3BoolExpr Iff(this Z3BoolExpr expr1, Z3Context context, Z3BoolExpr expr2) { Contract.Assert(expr1 != null && expr2 != null); return(context.MkIff(expr1, expr2)); }