z3

z3

Z3是Microsoft Research的一个定理证明者。
Z3是Microsoft Research的定理证明者

网站:

特征

分类目录

具有商业许可证的Windows版z3的替代方案

MATLAB

MATLAB

企业级计算环境和用于数字计算的编程语言。
Mathematica

Mathematica

权威的技术计算系统，涵盖了机器学习和神经网络，数据科学，可视化等等。