Как получить список переменных из формулы z3?

У меня есть формула Z3 (в Z3py)

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

Как я могу получить список переменных x и y?


z3 z3py
person zell    schedule 05.12.2015    source источник
comment
См. этот связанный пост.   -  person Axel Kemper    schedule 05.12.2015

Ответы (1)


arrow_upward
0
arrow_downward

Я добавил пример в Z3, чтобы проиллюстрировать ходячие подвыражения в Python. https://github.com/Z3Prover/z3/blob/master/examples/python/visitor.py

person Nikolaj Bjorner    schedule 07.12.2015