z3-4.8.3
版本发布时间: 2018-11-20 07:05:47
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
This release covers
- bug fixes since 4.8.1
- .NET bindings for dotnet standard 1.4 on windows and 64 bit Linux systems and MacOs
1、 z3-4.8.3.7f5d66c3c299-x64-debian-8.11.zip 33.32MB
2、 z3-4.8.3.7f5d66c3c299-x64-osx-10.13.6.zip 28.73MB
3、 z3-4.8.3.7f5d66c3c299-x64-ubuntu-14.04.zip 31.9MB
4、 z3-4.8.3.7f5d66c3c299-x64-ubuntu-16.04.zip 33.83MB
5、 z3-4.8.3.7f5d66c3c299-x64-win.zip 11.55MB
6、 z3-4.8.3.7f5d66c3c299-x86-ubuntu-14.04.zip 30.21MB
7、 z3-4.8.3.7f5d66c3c299-x86-win.zip 9.53MB