Skip to content

z3_x64-windows-static-md-rel 4.8.13-vcpkg38e9a24946b7c2e4354555f8c4341d36d3334bfcb39132bc8ab2ba806e7b85ed Latest

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.30140.0 Triplet/Compiler hash: 93c9bde9958dc44980f928ebd3994acf1de88fbabef663592bf61742cb8ce3dd-b569c9954a47274946415ff01b1a344c8549f3fc19cb931d50bc09d1e5630c1d-9bfb207072520419989b3b37ba01d7a9f0847a01 Features: core Dependencies:

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-windows-static-md-rel --version 4.8.13-vcpkg38e9a24946b7c2e4354555f8c4341d36d3334bfcb39132bc8ab2ba806e7b85ed

Recent Versions

View all versions

Loading

Details

Last published

over 2 years ago

Discussions

0

Issues

21

Total downloads

442