z3-4.7.1
版本发布时间: 2018-05-23 07:58:13
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
Z3 4.7.1. official release
- cumulative bug fix since 4.6.0
- minor version incremented as API now uses stdbool and stdint: bool and int64_t, uint64_t
1、 z3-4.7.1-x64-debian-8.10.zip 34.04MB
2、 z3-4.7.1-x64-osx-10.11.6.zip 27.98MB
3、 z3-4.7.1-x64-ubuntu-14.04.zip 32.14MB
4、 z3-4.7.1-x64-ubuntu-16.04.zip 34.52MB
5、 z3-4.7.1-x64-win.zip 12.59MB
6、 z3-4.7.1-x86-ubuntu-14.04.zip 30.48MB
7、 z3-4.7.1-x86-win.zip 10.4MB
8、 z3-4.7.1.tar.gz 31.32MB
9、 z3-4.7.1.zip 32.3MB