Fatal编程技术网
  • z3/
  • 如何从z3公式中获取变量列表？

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

z3

如何从z3公式中获取变量列表？,z3,z3py,Z3,Z3py,我有一个Z3公式（在Z3py中） i=z3.Int（'x'）+z3.Int（'y'）我在z3中添加了一个示例来说明Python中的遍历子表达式。 看看这个。 i=z3.Int('x')+z3.Int('y')<2

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

i=z3.Int（'x'）+z3.Int（'y'）我在z3中添加了一个示例来说明Python中的遍历子表达式。

看看这个。

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