z3-4.8.17
版本发布时间: 2022-05-05 09:10:00
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.8.17 release
Changes:
- d420706eaed675f7a83fc9f5c76efee3ab5b3e7b enable pypi release
- b8d05135dbd9b1f2a4512ef5cf041a299f04d34d Merge branch 'master' of https://github.com/z3prover/z3
- cf1802dac7e1e47c557475008c481aee86e7808b release notes
- 47459ca795fa2b050c744bc0b047acbcff28a3d4 pre-release
- ffbabf251d81e63aebebc1e00af4c2f2818b8acc enhance ocaml seq api (#6010)
- 5a685ba9b5e1cab470acbe0a378466bf44d15ae9 expose maxdiff
- 367bfedab0f984ec7aefcb98cb1d6c088abf0dac add min/max diff in final check
- c29cfa81aee0c68f5e6b3b4a393ddd35745a8229 prep for max/min diff
- 87d2a3b4e55081955720e4081b320a1f61ce0650 map/mapi/foldl/foldli
- b3e0213cab15bafa573938059ce9d64fa57e27b8 missing object ref
See More
- be653dab0efc13b20dd3a1f1be6ae1b88f4b71f8 init value
- d1f1e4ce3464e87b30c4aa7e05b53a0e8d057ad9 selectively enable dual strengthening
- 98e1c86128019874d313d22742fd0a928a4c151c na
- 9cc5f6901a4ccee00bc8b2d9962ae5cbc83e72a9 na
- b5c7f000dedad76e3b26e363173ad80e93cbfcc4 add option to "rotate" cores during core finding
- 5a9b0dd747a2fc26513fcb15181678781e6667a7 Z3str3 Debug (#6000)
- 99e299b90c474613f083dd6d393ac7129f8a2f95 ocaml: fix is_arithmetic_numeral and is_bv_numeral (#6003)
- 02d6f6a613bbd5dd7b53d77672ca1c756c21b96e fix build for Z3_mk_datatype_sort
- 81d97a81af7aeaf1773d5c9569567e8b6dd8549f enable nested ADT and sequences
- 8e2f09b517ae84b2f70d0e4af74df95c8ecf38b2 #5778 - ensure arrays used inside of extensionality function are treated as shared
- 0a665b0fa0b6d6f99607992e7f7bc769dd54fab2 #5778
- 489459a1f77f47ce8c1e05945ccd7fed9c7a8d98 #5778
- 0b453a4af51434ee31b2114c5c2ec08464f3bfd1 set release version
- dc18b479673f08ae90bbf62b2797c221746c1606 automatically release wasm build (#5997)
- 24baf56e278da8c400b682b9d95bd1d15d759b46 fix missing propagation on final
- 33ffd464cfe47447cddd2560213c09220263fc61 inc version number
This list of changes was auto generated.
1、 CodeSignSummary-0a0b691e-a838-4079-a00e-337df610ffe6.md 383B
2、 CodeSignSummary-47666954-7efe-4dca-bafb-e9643fde024e.md 383B
3、 CodeSignSummary-7ea3f301-65d8-4c6e-8175-eb7699cdbc36.md 383B
4、 CodeSignSummary-8a20a063-6a9a-4451-b3c5-6027b3facf4a.md 383B
5、 Microsoft.Z3.4.8.17.nupkg 27.55MB
6、 Microsoft.Z3.4.8.17.snupkg 38.23MB
7、 Microsoft.Z3.x86.4.8.17.nupkg 5.59MB
8、 Microsoft.Z3.x86.4.8.17.snupkg 33.44MB
9、 z3-4.8.17-arm64-osx-10.16.zip 30.67MB
10、 z3-4.8.17-x64-glibc-2.31.zip 42.86MB
11、 z3-4.8.17-x64-osx-10.16.zip 33.47MB
12、 z3-4.8.17-x64-win.zip 51MB
13、 z3-4.8.17-x86-win.zip 43.99MB
14、 z3-solver-4.8.17.0.tar.gz 4.33MB
15、 z3doc.zip 10.02MB
16、 z3_solver-4.8.17.0-py2.py3-none-macosx_10_16_x86_64.whl 27.13MB
17、 z3_solver-4.8.17.0-py2.py3-none-manylinux1_x86_64.whl 51.93MB
18、 z3_solver-4.8.17.0-py2.py3-none-win32.whl 51.95MB
19、 z3_solver-4.8.17.0-py2.py3-none-win_amd64.whl 54.47MB