z3_x64-windows-static-md-rel
/
4.8.13-vcpkg1ed8b7c3ed6a22049615b3e407fa71d689fcb2dce8cedc56d0dc9622012e8a77
z3_x64-windows-static-md-rel 4.8.13-vcpkg1ed8b7c3ed6a22049615b3e407fa71d689fcb2dce8cedc56d0dc9622012e8a77
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-windows-static-md-rel --version 4.8.13-vcpkg1ed8b7c3ed6a22049615b3e407fa71d689fcb2dce8cedc56d0dc9622012e8a77
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.13 Triplet: x64-windows-static-md-rel CXX Compiler id: MSVC CXX Compiler version: 19.29.30138.0 Triplet/Compiler hash: 93c9bde9958dc44980f928ebd3994acf1de88fbabef663592bf61742cb8ce3dd-b569c9954a47274946415ff01b1a344c8549f3fc19cb931d50bc09d1e5630c1d-1580507b2c00235446c424ab045522348fae45f7 Features: core Dependencies:
Details
- z3_x64-windows-static-md-rel
-
lifting-bits
- over 2 years ago
Assets
- package.nupkg
Download activity
- Total downloads 4
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
View all- 4.8.13-vcpkg38e9a24946b7c2e4354555f8c4341d36d3334bfcb39132bc8ab2ba806e7b85ed
- 4.8.13-vcpkg1ed8b7c3ed6a22049615b3e407fa71d689fcb2dce8cedc56d0dc9622012e8a77
- 4.8.13-vcpkgf8c0ab282290b09ce0fd1bbff91964eeb178e7c00f671ba4cf906d9e52177a34
- 4.8.12-vcpkge81a067f304dbc40676d302358986a764e7c956e9e869691f9abaa1dc98f7002
- 4.8.12-vcpkg3ab4fef00c17cc1c2b989ad62f92faae4f19490c
- 4.8.11-vcpkg13000c5dc94cd2fdbf40cf41afb538c9f7f67a47
- 4.8.10-vcpkgda7cb5b640acaad306dc8c486cec8008df918516
- 4.8.10-998c1cb0677d84f9a3075692f4a84110823d7cc6
- 4.8.10-d5dd0bcec601302c62d60e38131909c02fa927b7
- 4.8.10-6349f060f1095fe9cbbec3e5f0ccf0a224a4e193