1. 开源软件
  2. 程序开发
  3. 数学计算
  4. Z3

Z3 - 定理验证工具

数学计算
MIT
跨平台
C/C++

软件简介

Z3 是来自微软研究院的的一个定理验证工具。

软件首页