MyGit

z3-4.12.1

Z3Prover/z3

版本发布时间: 2023-01-18 23:58:09

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

4.12.1 release

Changes:

This list of changes was auto generated.

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

1、 CodeSignSummary-09f0b39d-d177-448a-b5d8-8b05a343ac0c.md 386B

2、 CodeSignSummary-1fbdbc4e-2339-462e-aca2-7a75ae4cacdc.md 386B

3、 CodeSignSummary-6a38af7a-f74f-41c8-b8d6-f0514e33aa1e.md 386B

4、 CodeSignSummary-854e3471-893e-42b3-b5df-3d5147df60b5.md 386B

5、 Microsoft.Z3.4.12.1.nupkg 16.29MB

6、 Microsoft.Z3.4.12.1.snupkg 40.63MB

7、 Microsoft.Z3.x86.4.12.1.nupkg 5.66MB

8、 Microsoft.Z3.x86.4.12.1.snupkg 35.4MB

9、 z3-4.12.1-arm64-osx-11.0.zip 32.39MB

10、 z3-4.12.1-x64-glibc-2.35.zip 45.08MB

11、 z3-4.12.1-x64-osx-10.16.zip 35.11MB

12、 z3-4.12.1-x64-win.zip 53.71MB

13、 z3-4.12.1-x86-win.zip 46.09MB

14、 z3-solver-4.12.1.0.tar.gz 4.56MB

15、 z3doc.zip 9.67MB

16、 z3_solver-4.12.1.0-py2.py3-none-macosx_10_16_x86_64.whl 28.29MB

17、 z3_solver-4.12.1.0-py2.py3-none-macosx_11_0_arm64.whl 25.42MB

18、 z3_solver-4.12.1.0-py2.py3-none-manylinux1_x86_64.whl 53.43MB

19、 z3_solver-4.12.1.0-py2.py3-none-win32.whl 52.74MB

20、 z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl 55.46MB

查看:2023-01-18发行的版本