MyGit

z3-4.12.4

Z3Prover/z3

版本发布时间: 2023-12-07 01:01:52

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

4.12.4 release

Changes:

See More
  • 76c05f171ae98f81f845001279691e253bc5f3da specify a readme file with the nuget package
  • 426d7f5810bcf434182af406acccc9e5120330d3 remove reference to readme in nuget task
  • a9513c19989454ac4aeaa83bdb6310cf6386835d Improve BoolRef addition (#7045)
  • 7c81ee08900e43e7ec311e5502cfcaa6c0dc09b3 fix case of README.md in nuget
  • 669f665f24ea74e0746e4e21c05f778e22c20bed update release pipeline
  • aa2e54c5a4ea8198139ecabb45fd92cb6950182f update release pipeline
  • 23fcb4376f661784729f534371ab002a82f10bcf readme
  • f5ae8c324c27ae9cd1f2799e53763b306e5087a8 make a readme file
  • 9ad4d50b5d859443e3ba004bd36c560af3673a55 Use built-in importlib.resources on Python 3.9+ (#7042)
  • 764f0d54a436bd93069778a385517e74aea47150 Overload xor operator for BoolRef (#7043)
  • 4d4359f78aaa1428487d04ce2064c2365060b7a4 fix shebang syntax issue (#7044)
  • 389aea3330c066215289eec36911391138e8d1d2 update release notes, update version number

This list of changes was auto generated.

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

1、 CodeSignSummary-12eb828e-eb34-43d1-8221-9c7bd8d73a5f.md 386B

2、 CodeSignSummary-25a3e5bc-14b5-420a-883b-f49278a458e4.md 386B

3、 CodeSignSummary-4190d58a-90a0-4ca9-a811-f09b30af7864.md 386B

4、 CodeSignSummary-7092bc22-b8c7-4aa1-8a2b-1e58a2c30d42.md 386B

5、 Microsoft.Z3.4.12.4.nupkg 29.17MB

6、 Microsoft.Z3.4.12.4.snupkg 41.5MB

7、 Microsoft.Z3.x86.4.12.4.nupkg 5.76MB

8、 Microsoft.Z3.x86.4.12.4.snupkg 38MB

9、 z3-4.12.4-arm64-glibc-2.35.zip 45.8MB

10、 z3-4.12.4-arm64-osx-11.0.zip 32.79MB

11、 z3-4.12.4-x64-glibc-2.31.zip 45.7MB

12、 z3-4.12.4-x64-glibc-2.35.zip 45.79MB

13、 z3-4.12.4-x64-osx-11.7.10.zip 35.45MB

14、 z3-4.12.4-x64-win.zip 54.84MB

15、 z3-4.12.4-x86-win.zip 48.81MB

16、 z3-solver-4.12.4.0.tar.gz 4.58MB

17、 z3doc.zip 9.93MB

18、 z3_solver-4.12.4.0-py2.py3-none-macosx_11_0_arm64.whl 25.59MB

19、 z3_solver-4.12.4.0-py2.py3-none-macosx_11_7_x86_64.whl 28.39MB

20、 z3_solver-4.12.4.0-py2.py3-none-manylinux2014_x86_64.whl 54.03MB

21、 z3_solver-4.12.4.0-py2.py3-none-win32.whl 53.45MB

22、 z3_solver-4.12.4.0-py2.py3-none-win_amd64.whl 56.22MB

查看:2023-12-07发行的版本