coq 8.11.2 installer windows x86_64.exe

qq_98203 11 0 EXE 2020-08-05 03:08:59

Coq定理证明工具安装包,可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼!

推荐下载

Bazel官方Linux 64位安装包,搬运自官方github。github下载有时候太慢了。

Bazel是一个类似于Make的编译工具,是Google为其内部软件开发的特点量身定制的工具,如今Google使用它来构建内部大多数的软件。Google认为直接用Makefile构建软件速度太慢,结果

bazel-0.4.4-installer-linux-x86_64.sh

Bazel是一个类似于Make的工具,是Google为其内部软件开发的特点量身定制的工具,如今Google使用它来构建内部大多数的软件。

bazel-0.4.2-installer-linux-x86_64.sh

bazel的shell脚本安装包。bazel是谷歌开发的一款构建工具,其深度学习框架TensorFlow的编译会用到该工具。本人亲身经历,目前bazel还很不稳定,编译TensorFlow时最好使用其

Google软件构建工具Bazel,Linux版

bazel-0.24.1-installer-linux-x86_64.shbazel最新版本,TensorFlowC++build必备环境

windowsinstaller 6.0 v2版本,X86平台。

通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的,对于大型的、复杂的问题特别有帮助。

用户评论

请输入评论内容

评分：

暂无评论