如何在本地使用Z3 SMT

Question

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

Answer 1

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