mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-05 09:55:15 +00:00
Code Activity

update python example

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-01-13 09:17:01 -08:00
parent 38d67b3c59
commit c2cf11672a
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/python/z3/z3.py
View file

@ -251,10 +251,7 @@ class Context:
Example: Example:
>>> c = Context() >>> c = Context()
>>> c.set_ast_print_mode(Z3_PRINT_LOW_LEVEL)
>>> x = Int('x', c) >>> x = Int('x', c)
>>> print(x)
(Int 0)
>>> c.set_ast_print_mode(Z3_PRINT_SMTLIB2_COMPLIANT) >>> c.set_ast_print_mode(Z3_PRINT_SMTLIB2_COMPLIANT)
>>> print(x) >>> print(x)
x x