1

Z3Py で、変数/式が発生するすべての式のリストを取得することは可能ですか? 例：

s.add(x < 0)
s.add(x > y)
print s[y]
>>> x > y
4

1 に答える 1