From 2a1f05e7e8f493539e0edaae4aafb8a5e30400e0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 25 Sep 2019 10:11:33 -0700 Subject: [PATCH] remove Simplify rewrite resulting in flaky build breaks Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 49caf52b8..5d24c0292 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1624,8 +1624,6 @@ def Implies(a, b, ctx=None): >>> p, q = Bools('p q') >>> Implies(p, q) Implies(p, q) - >>> simplify(Implies(p, q)) - Or(q, Not(p)) """ ctx = _get_ctx(_ctx_from_ast_arg_list([a, b], ctx)) s = BoolSort(ctx)