z3-4.12.1
版本发布时间: 2023-01-18 23:58:09
Z3Prover/z3最新发布版本:z3-4.13.0(2024-03-08 03:21:18)
4.12.1 release
Changes:
- 3012293c35eadbfd73e5b94adbe50b0cc44ffb83 update release script
- fcc1bb5da88999ec2ecfb316bca54660b0f46d6d updated release notes
- 7368f9f7d3185198fd6b66db483f75f83ab697d4 increase build version, better propagation in euf-egraph, handle assumptions in sat.smt
- c8f197d0ca32f7dce935db0cca2fd80777b87ae9 specify macos-11 in nightly to force os11 build
- dde5218b293075a2267b09fe33722da18691c721 fix mbqi value caching issue raised by Clemens and Martin
- d5fde2e578f5600a5b4fc2c969c8931941580d40 #6538
- 4f7f4376b8e9ee12685968ba63f2cec5d19e8962 fix bug in new core not detecting conflict, fix #6525, add tactic doc
This list of changes was auto generated.
1、 CodeSignSummary-09f0b39d-d177-448a-b5d8-8b05a343ac0c.md 386B
2、 CodeSignSummary-1fbdbc4e-2339-462e-aca2-7a75ae4cacdc.md 386B
3、 CodeSignSummary-6a38af7a-f74f-41c8-b8d6-f0514e33aa1e.md 386B
4、 CodeSignSummary-854e3471-893e-42b3-b5df-3d5147df60b5.md 386B
5、 Microsoft.Z3.4.12.1.nupkg 16.29MB
6、 Microsoft.Z3.4.12.1.snupkg 40.63MB
7、 Microsoft.Z3.x86.4.12.1.nupkg 5.66MB
8、 Microsoft.Z3.x86.4.12.1.snupkg 35.4MB
9、 z3-4.12.1-arm64-osx-11.0.zip 32.39MB
10、 z3-4.12.1-x64-glibc-2.35.zip 45.08MB
11、 z3-4.12.1-x64-osx-10.16.zip 35.11MB
12、 z3-4.12.1-x64-win.zip 53.71MB
13、 z3-4.12.1-x86-win.zip 46.09MB
14、 z3-solver-4.12.1.0.tar.gz 4.56MB
15、 z3doc.zip 9.67MB
16、 z3_solver-4.12.1.0-py2.py3-none-macosx_10_16_x86_64.whl 28.29MB
17、 z3_solver-4.12.1.0-py2.py3-none-macosx_11_0_arm64.whl 25.42MB
18、 z3_solver-4.12.1.0-py2.py3-none-manylinux1_x86_64.whl 53.43MB
19、 z3_solver-4.12.1.0-py2.py3-none-win32.whl 52.74MB
20、 z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl 55.46MB