C# (CSharp) Microsoft.Z3.Context.MkBVUGT示例

示例#1

文件： Z3Utilities.cs 项目： thisiscam/formula

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