Ejemplos de Microsoft.Z3.Context.MkRem en C# (CSharp)

Ejemplo n.º 1

Archivo: Z3Utilities.cs Proyecto: thisiscam/formula

 public static Z3BoolExpr IsEven(this Z3IntExpr expr1, Z3Context context)
 {
     Contract.Assert(expr1 != null);
     return(context.MkEq(context.MkRem(expr1, context.MkInt(2)), context.MkInt(0)));
 }