0

I have a Z3 formula (in Z3py)

i=z3.Int('x')+z3.Int('y')<2

How can I get the variable list x and y?

zell
  • 9,830
  • 10
  • 62
  • 115
  • See this [related post](http://stackoverflow.com/questions/14080398/z3py-how-to-get-the-list-of-variables-from-a-formula?rq=1). – Axel Kemper Dec 05 '15 at 12:20

1 Answers1

1

I added an example to Z3 to illustrate walking subexpressions in Python. https://github.com/Z3Prover/z3/blob/master/examples/python/visitor.py

Nikolaj Bjorner
  • 8,229
  • 14
  • 15