Lab Exercise 2 Python

launch.json

You can open Lab2.ipynb as shown in the image below. For more details, see Configuration & Debugging.

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)