Z3-4.8.5

版本发布时间: 2019-06-03 09:50:12

Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)

The release contains cumulative updates to the previous release

相关地址：原始地址下载(tar) 下载(zip)

1、 z3-4.8.5-x64-debian-8.11.zip 34.01MB

2、 z3-4.8.5-x64-osx-10.14.2.zip 28.67MB

3、 z3-4.8.5-x64-ubuntu-14.04.zip 32.85MB

4、 z3-4.8.5-x64-ubuntu-16.04.zip 34.54MB

5、 z3-4.8.5-x64-win.zip 13.46MB

6、 z3-4.8.5-x86-win.zip 10.64MB

查看：2019-06-03发行的版本