z3-4.12.4
版本发布时间: 2023-12-07 01:01:52
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.12.4 release
Changes:
- dce2f3d88ff7b8671bd5d843f4f3f353e7089a45 add release notes
- b3ef74c86da1915151bfc19d417190ff9379c550 remove readme for dist
- fc3a7655a5456bcad6f5f3d557db1ee73178330f try to put readme in root
- 2c8d33851a4475605f6803663e600b22938cc18c add README path to mk_nuget_task
- 8111d879cdb34f8f2d1b85ace401edfb2147717e add README path to mk_nuget_task
- 1fde3e9fb86dcee8a547871a7d96ffd5337e61a0 update release
- 1d6616afaced6ce9f7924b86f03c40f4719e534f make var-queue a template
- 156426a0cf6c5cb23ea8a63a5fd6728bb628a560 use / for package path
- 111ce017025fbfbde5641574e4986c0722ad39ea update path reference to readme
- d566eb3df7931e8f8f32a138c8a8ab445963f24e include readme in package
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.
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