-
检查防火墙 Andrew Helwer著。 -
Dynamics产品配置器中的Z3 作者:Dennis Conrad。 -
SAT/SMT解算器和符号执行简介 这是一个很好的源代码,提供了使用Z3的python接口的完整示例和激励示例。 -
勒索软件和Z3 0xec。 -
集成电路设备 基于ACID的Z3 Leo de Moura的博客 使用Z3的Python符号探索
在这里吗 github .
支持的平台:Windows、OSX、Linux(Ubuntu、Debian)和FreeBSD 下载 源代码和二进制版本 (或 在这里 ) 下载 自动编译的夜间二进制文件 (可能不稳定) Z3源代码可以使用Visual Studio、g++和clang进行编译++
这个 Axiom探查器 目前由苏黎世ETH开发