Skip to content

z3_arm64-linux-rel 4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659 Latest

NOT FOR DIRECT USE. Automatically generated cache package. Z3 is a theorem prover from Microsoft Research Version: 4.12.1 Triplet: arm64-linux-rel CXX Compiler id: GNU CXX Compiler version: 11.4.0 Triplet/Compiler hash: 9deaab0927eb3d8ca8a5bfbf2694b4bf0c4c9982f150fa7cebb992efb18a6172-2b16c94d0e736ca7e5695f4a1dd7a3a1079c2deb3da38d0976549c22b6d29761-686e64d6bcf6540ed8a88683d0b0ce9a42cd3abe Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-linux-rel --version 4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659

Recent Versions

View all versions

Loading

Details

Last published

11 months ago

Discussions

0

Issues

21

Total downloads

1.15K