z3

z3

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

网站:

特征

分类目录

BSD版z3的替代品

GNU Octave

GNU Octave

Octave是用于执行数值计算的计算机程序，该程序与MATLAB最兼容。它是GNU项目的一部分。
R (programming language)

R (programming language)

R是用于统计计算和图形的免费软件环境。