Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！
2021-08-27 14:40:18
202.23MB
1
Error running icacls win10解决版本！postgresqlpostgresqlpostgresqlpostgresql
2021-08-20 19:10:59
173.84MB
1
1、亲自测试Windows 10 可用；
2、直接安装64位，最好安装在c盘；
3、安装完成别启动，运行PatchNavicat.exe程序；
4、启动程序，不要点击文件，查看等菜单栏。
2021-08-09 09:49:43
68.49MB
1
qt5.11.2源码编译在vs2017上编译的x64版本库，包括debug和release版本库。qt5.11.2+vs2017+x64
2021-08-05 19:09:51
84.78MB
1
工具包为SQlite数据库工具，可对Sqlite的DB数据库文件进行创建，编辑，修改，查看，导出列表等相关常用功能，当前工具版本为3.11.2 64位。
2021-08-03 19:31:56
15.13MB
1
oracle goldengate 11.2.1.0.3 for oralce 11G in windows 2003 2008_x64
2021-07-28 17:33:45
34.1MB
1
oracle 每个版本都有问题，能用的就是打了补丁后的版本，这个11到目前为止最后一个版本。
64-bit ODAC 11.2 Release 6 (11.2.0.4.0) Xcopy for Windows x64 [Released January 14, 2014]
Download ODAC112040Xcopy_64bit.zip - 54.7 MB (57,388,125 bytes)
Installation Instructions are included within the zip file.
Download Includes
64-bit Oracle Data Provider for .NET 4 11.2.0.4.0
64-bit Oracle Data Provider for .NET 2.0 11.2.0.4.0
64-bit Oracle Providers for ASP.NET 4 11.2.0.4.0
64-bit Oracle Providers for ASP.NET 2.0 11.2.0.4.0
64-bit Oracle Provider for OLE DB 11.2.0.4.0
64-bit Oracle Services for Microsoft Transaction Server 11.2.0.4.0
64-bit Oracle Instant Client 11.2.0.4.0
2021-07-26 15:55:12
54.73MB
1