如何在本地使用 Z3 SMT

Question

有人知道如何在本地使用 Z3 SMT 而不是使用网站吗？ 我知道如何使用 z3.py，但我需要使用 SMT。 rise4fun.com 已关闭，因此很难检查我的模型。

Answer 1

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