public static Z3BoolExpr UGe(this Z3BVExpr expr1, Z3Context context, Z3BVExpr expr2) { Contract.Requires(expr1 != null && expr2 != null); return(context.MkBVUGE(expr1, expr2)); }
public static Z3BoolExpr UGe(this Z3BVExpr expr1, Z3Context context, Z3BVExpr expr2) { Contract.Requires(expr1 != null && expr2 != null); return(context.MkBVUGE(expr1, expr2)); }