如何从 z3 公式中获取变量列表？

【问题标题】：How to get the variable list from a z3 formula?如何从 z3 公式中获取变量列表？
【发布时间】：2015-12-05 06:16:51
【问题描述】：

我有一个 Z3 公式（在 Z3py 中）

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

如何获取变量列表x和y？

【问题讨论】：

标签： z3 z3py

【解决方案1】：

我在 Z3 中添加了一个示例来说明 Python 中的行走子表达式。 https://github.com/Z3Prover/z3/blob/master/examples/python/visitor.py

【讨论】：