Z3 4.1.0下载地址

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

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

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

请注意：
非商业用途