z3-4.10.2
版本发布时间: 2022-07-30 11:00:27
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.10.2 release
Changes:
- 69b1337ca634a8e8726e7815fa8730c7501c443f inc release number
- 2a8e73f34f9b5364dabf37a5d0823e496108ff7d Merge branch 'master' of https://github.com/z3prover/z3
- 6d71d9e816386608d1582dd4a3e0d6783398d491 update coding style to C++11
- 1eb84fe4b991c492a58ddbecefc2758f1c196771 Mark override methods appropriately. (#6207)
- 8e0d9bf42def6b89d8ded2dc3652609e8c446183 Remove remainder workaround for pre-MSVC2013. (#6204)
- eba29a280d97ca2b1cdf4f33ca145f557c96c063 Use std::hexfloat more. (#6203)
- 75339c6db7b8cb2484ef13702d5828cc34bb53fa Fix doxygen warnings in C API docs. (#6202)
- 78237578f31ed459720fe93363f0f7a5985bcb0e Enable more tests on non-Windows. (#6199)
- 44100a3a0858399b45f9611fbf374bf53adac822 CI: Fix Android NDK home environment variable (#6198)
- ee80414e55836ac7f4e26bd9f6c7e81bb7530afe sketch initial for mpz/mpq numeral creation
See More
- 9c359713b6a2a50720bfc71f81c325036eac753e Update RELEASE_NOTES.md
- 8551b217ce69509041e82ad04541fd5d907aed42 fix #6194
- b6c80e8b00035b0810bcd08f121ad09c63043c95 fix #6193
- cd7ef11593d7c641abb4c4de9c7c1a49338cab27 add decide callbacks to propagator API
- 3e8daa59652eeba80f5c8df1e6c3ffe76219c3fc fix re.range symbolic argument bug in z3str3 (#6189)
- 63ea7bd5690acdf3aaecc71b154283000d160b91 Revert "Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)"
- 32bb60ea01b158a4e609cd65a56c16a5c96b9ab8 Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)
- 70895b237576c4a28b8b6cad8eeb6b0069f1d418 Improve intra-doc linking. (#6191)
- 43f2b848d47c361a39dbd157bd9e61d3011460b1 fix typo
- 5c2c0ae900967e346c1958f6a57e3de38f61061d force-push on new_eq, new_diseq in user propagator, other fixes to Python bindings for user propagator
- 3e38bbb0094e97177d477156e356efbbfb2f7a5c Make sure all headers do
#pragma once. (#6188) - 3a8eb1e7ecd782e12129b5a858eac6cf49696de2 increase version number
- 1155ea69a19a535a5163611ce29eb14a115c388c add await
- 212a0657a2f8badb01f3128c6c66daada54bde3d try .ast
- 7c0ec21af894597bf84598a16fa7c89098b3cac4 try to add basic expression simplification
This list of changes was auto generated.
1、 CodeSignSummary-11ecbdbc-817e-4443-9b9c-e881a4e147f7.md 383B
2、 CodeSignSummary-503aff39-0ce2-42ea-b74c-f347aed2158e.md 383B
3、 CodeSignSummary-77314f43-36da-4126-bd69-622c1620e12d.md 383B
4、 CodeSignSummary-c6afd39e-9d7e-4b81-8839-5b0df772bbfb.md 383B
5、 Microsoft.Z3.4.10.2.nupkg 27.63MB
6、 Microsoft.Z3.4.10.2.snupkg 39.07MB
7、 Microsoft.Z3.x86.4.10.2.nupkg 5.48MB
8、 Microsoft.Z3.x86.4.10.2.snupkg 33.75MB
9、 z3-4.10.2-arm64-osx-11.0.zip 31.06MB
10、 z3-4.10.2-x64-glibc-2.31.zip 43.01MB
11、 z3-4.10.2-x64-osx-10.16.zip 33.67MB
12、 z3-4.10.2-x64-win.zip 51.79MB
13、 z3-4.10.2-x86-win.zip 44.13MB
14、 z3-solver-4.10.2.0.tar.gz 4.45MB
15、 z3doc.zip 10.24MB
16、 z3_solver-4.10.2.0-py2.py3-none-macosx_10_16_x86_64.whl 27.29MB
17、 z3_solver-4.10.2.0-py2.py3-none-macosx_11_0_arm64.whl 24.53MB
18、 z3_solver-4.10.2.0-py2.py3-none-manylinux1_x86_64.whl 50.44MB
19、 z3_solver-4.10.2.0-py2.py3-none-win32.whl 50.15MB