From 114a325cd44e18a0734b76e3c8979dd58b886a87 Mon Sep 17 00:00:00 2001 From: Daniel Tang Date: Sat, 14 Feb 2026 21:51:21 -0500 Subject: [PATCH] Document example for Solver.sexpr() --- src/api/python/z3/z3.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 132edecde..01338d574 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -7657,7 +7657,11 @@ class Solver(Z3PPObject): >>> s = Solver() >>> s.add(x > 0) >>> s.add(x < 2) - >>> r = s.sexpr() + >>> print(s.sexpr()) + (declare-fun x () Int) + (assert (> x 0)) + (assert (< x 2)) + """ return Z3_solver_to_string(self.ctx.ref(), self.solver)