z3_x64-windows-static-md-rel
/
4.8.12-vcpkge81a067f304dbc40676d302358986a764e7c956e9e869691f9abaa1dc98f7002
z3_x64-windows-static-md-rel 4.8.12-vcpkge81a067f304dbc40676d302358986a764e7c956e9e869691f9abaa1dc98f7002
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-windows-static-md-rel --version 4.8.12-vcpkge81a067f304dbc40676d302358986a764e7c956e9e869691f9abaa1dc98f7002
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.12 Triplet: x64-windows-static-md-rel CXX Compiler id: MSVC CXX Compiler version: 19.28.29812.0 Triplet/Compiler hash: 93c9bde9958dc44980f928ebd3994acf1de88fbabef663592bf61742cb8ce3dd-b569c9954a47274946415ff01b1a344c8549f3fc19cb931d50bc09d1e5630c1d-7da50b5f71d8ac67fcb97fa8b02ae1a3af8f4fb1 Features: core Dependencies:
Details
- z3_x64-windows-static-md-rel
-
lifting-bits
- about 3 years ago
Assets
- package.nupkg
Download activity
- Total downloads 11
- 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