软件名称：[B]Z3 4.1.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：30.6 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

SMT求解理论求解器，结合成一个综合框架

SMT求解器，结合了多种理论解算成一个综合框架的开发是

Z3。它可以用来证明定理和非定理的反例。

Z3是在微软研究院正在开发一个新的高性能的定理证明。 Z3支持实数和整数运算线性，固定大小的神器出山:www.shenqi73.com位向量，伸展阵列，解释的功能，和量词。

请注意：
非商业用途

[url=http://www.sot9.com/soft/109752.html][B]Z3 4.1.0[/B][/url]

点这里下载->Z3 4.1.0 [ 下载地址 ]