Exemplos de Microsoft.Z3.Context.MkMod em C# (CSharp)

Exemplo n.º 1

Arquivo: Z3Utilities.cs Projeto: thisiscam/formula

 public static Z3ArithExpr Mod(this Z3IntExpr expr1, Z3Context context, Z3IntExpr expr2)
 {
     Contract.Requires(expr1 != null && expr2 != null);
     return(context.MkMod(expr1, expr2));
 }