From e87cf5ad2b3f1195541eb54fe40bcf3c003444e8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 16 Feb 2026 09:20:57 -0800 Subject: [PATCH] remove brittle pydoc example Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 509492067..c4b35bf3d 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -7662,17 +7662,6 @@ class Solver(Z3PPObject): def sexpr(self): """Return a formatted string (in Lisp-like format) with all added constraints. - We say the string is in s-expression format. - - >>> x = Int('x') - >>> s = Solver() - >>> s.add(x > 0) - >>> s.add(x < 2) - >>> print(s.sexpr()) - (declare-fun x () Int) - (assert (> x 0)) - (assert (< x 2)) - """ return Z3_solver_to_string(self.ctx.ref(), self.solver)