如何在本地使用Z3 SMT

有人知道如何在本地使用Z3 SMT而不是使用网站吗？

---

我知道如何使用z3.py，但我需要使用SMT。rise4fun.com已关闭，这使得检查我的模型变得困难。

各种平台的Z3二进制文件可在上下载。

感谢Chris的回答。