雷思软件
←
返回软件列表
z3
💻
z3
数学求解器
,
计算器
软件描述
Z3 是来自微软研究院的定理证明器。
官方网站
访问软件的官方网站了解更多信息
官方认证
github.com
安全链接
HTTPS
立即访问
什么是 z3?
Z3 是来自微软研究院的定理证明器。
主要功能
✓
微积分求解
✓
数学求解器
✓
方程求解
许可证
免费 • 开源
支持平台
Mac 命令行仅支持
仅限 Windows 命令行
仅限 Linux 命令行
WebAssembly
C 语言
Python
C++
Java
标签
定理
约束求解器
下载与相关链接
安全提示
⚠️
安全提醒
点击下方链接将跳转到第三方网站,请确保来源安全,建议优先从官方网站下载。