z3-4.10.1
版本发布时间: 2022-07-23 03:40:19
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.10.1 release
Changes:
- 4368ec995364b96164e8f1272962f55f3fa816cf startswith
- 845e852dbafb9bca105ad010e340a299f8fc99c3 increment to include python fixes
- c6dad4a9ea90acbfabae280fb955495461d4cf55 Update release.yml for Azure Pipelines
- 1eb2472b199e06de57bf9e9663033fb356f5ee76 README: Fix release notes link. (#6185)
- 1e0f71c97187c65548fbbb34d235980a12521fe8 add way to access range bounds directly #6186
- 87dd837b551fa8650ef1be10f0ee3c1f56e106b9 Merge branch 'master' of https://github.com/Z3Prover/z3
- 89af9df02d284cde46c9eed0cb5ee958160d235d add IEnumerable for distinct
- 0f9684e1f81e206e020b09b51f2857c2ffe7f0e7 make fresh_eh() work for Python bindings of user-propagator
- 907dc2c2d262b44aa210044af30a34daf898dac1 adding toString() to model object
This list of changes was auto generated.
1、 CodeSignSummary-1d589da9-5f92-4049-9dd8-31f0e00f5cf9.md 383B
2、 CodeSignSummary-35a05bc9-ba3d-415c-b63a-41a1af372c0b.md 383B
3、 CodeSignSummary-652754f6-c8a4-4ad8-ab85-ffc48e9c3181.md 383B
4、 CodeSignSummary-88897fca-c90a-4d7c-b038-757fbade2d86.md 383B
5、 Microsoft.Z3.4.10.1.nupkg 27.63MB
6、 Microsoft.Z3.4.10.1.snupkg 39.07MB
7、 Microsoft.Z3.x86.4.10.1.nupkg 5.48MB
8、 Microsoft.Z3.x86.4.10.1.snupkg 33.74MB
9、 z3-4.10.1-arm64-osx-11.0.zip 31.06MB
10、 z3-4.10.1-x64-glibc-2.31.zip 43.01MB
11、 z3-4.10.1-x64-osx-10.16.zip 33.67MB
12、 z3-4.10.1-x64-win.zip 51.8MB
13、 z3-4.10.1-x86-win.zip 44.13MB
14、 z3-solver-4.10.1.0.tar.gz 4.45MB
15、 z3doc.zip 10.23MB
16、 z3_solver-4.10.1.0-py2.py3-none-macosx_10_16_x86_64.whl 27.29MB
17、 z3_solver-4.10.1.0-py2.py3-none-macosx_11_0_arm64.whl 24.53MB
18、 z3_solver-4.10.1.0-py2.py3-none-manylinux1_x86_64.whl 50.43MB
19、 z3_solver-4.10.1.0-py2.py3-none-win32.whl 50.14MB
20、 z3_solver-4.10.1.0-py2.py3-none-win_amd64.whl 52.79MB