CUDA-Z-010251-64bitrun

适用于CUDA9.0的cuDNNv7.3.1。cuda-cudnn-9.0-linux-x64-v7.3.1.20.zip

libcudnn5-dev_5.0.5-1+cuda7.5_amd64

Download cuDNN v7.6.2 (July 22, 2019), for CUDA 10.0 cuDNN Runtime Library for Ubuntu16.04 (Deb)

【免费】libcudnn5_5.0.5-1+cuda7.5_amd64.deb

Z6II RAW文件转Z6

7-Zip 主要特征 使用了 LZMA 与 LZMA2 算法的 7z 格式 拥有极高的压缩比 支持格式: 压缩 / 解压缩:7z, XZ, BZIP2, GZIP, TAR, ZIP and WIM

z3约束求解器4.9.8版本,win64位 关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

7-Zip是一款免费的高压缩比的压缩软件,不仅支持独有的7zip文件格式,而且还支持各种其它压缩文件格式,其中包括ZIP、RAR、CAB、GZIP、BZIP2和TAR等格式。

7z1514-X64.exe

64K动画