Repository navigation
Lab Exercise 2 Python
You can open Lab2.ipynb as shown in the image below. For more details, see Configuration & Debugging.
If you try to check the value of z3Expr, you can use str() to see the value. For example,
z3_mgr = Z3Mgr(1000)
x = z3_mgr.get_z3_expr('x')
y = z3_mgr.get_z3_expr('y')
formula = x > y
str(formula)