Fifish的博客

原创 pip安装Z3求解器

SMT（Satisfiability Modulo Theories）问题是一个逻辑一阶公式的决策问题，涉及到背景理论的组合，如：算术、位向量、数组和非奇异函数（uninterpreted function）。Z3是微软研究部新提出的一个有效且免费的SMT解决方案，被用于各种软件验证和分析应用中。安装pip install z3-solver注意不是：pip install z3如果安装错误，使用命令行 pip uninstall PackageName 卸载pip uninstall