Z3.py中的子句和变量

Question

我最近在Z3.py上工作。我想知道是否有任何方法可以显示我的模型的子句数和变量。我曾经在合金上工作。合金自动显示这些信息。有人可以帮忙吗？

谢谢