From 7185812b03c43dfc410dd880ad84aa5e8d63b375 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 10 Oct 2012 08:19:27 -0700 Subject: [PATCH] updated API Signed-off-by: Leonardo de Moura --- Microsoft.Z3/Enumerations.cs | 1 + python/z3consts.py | 1 + 2 files changed, 2 insertions(+) diff --git a/Microsoft.Z3/Enumerations.cs b/Microsoft.Z3/Enumerations.cs index 02a39417b..b8bbc3911 100644 --- a/Microsoft.Z3/Enumerations.cs +++ b/Microsoft.Z3/Enumerations.cs @@ -169,6 +169,7 @@ namespace Microsoft.Z3 Z3_OP_CONST_ARRAY = 770, Z3_OP_BSDIV = 1031, Z3_OP_OR = 262, + Z3_OP_PR_HYPER_RESOLVE = 1319, Z3_OP_AGNUM = 513, Z3_OP_PR_PUSH_QUANT = 1298, Z3_OP_BSMOD = 1035, diff --git a/python/z3consts.py b/python/z3consts.py index bbf9037fe..808e9aac7 100644 --- a/python/z3consts.py +++ b/python/z3consts.py @@ -152,6 +152,7 @@ Z3_OP_RA_SELECT = 1547 Z3_OP_CONST_ARRAY = 770 Z3_OP_BSDIV = 1031 Z3_OP_OR = 262 +Z3_OP_PR_HYPER_RESOLVE = 1319 Z3_OP_AGNUM = 513 Z3_OP_PR_PUSH_QUANT = 1298 Z3_OP_BSMOD = 1035