z3_arm64-linux-rel
/
4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659
z3_arm64-linux-rel 4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-linux-rel --version 4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659
About this version
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
Details
- z3_arm64-linux-rel
-
lifting-bits
- 6 months ago
Assets
- package.nupkg
Download activity
- Total downloads 84
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
View all- 4.12.1-vcpkgff074b54b512a912285f7fb3ec50596090f353333d4095f205bdd4ff2161e659
- 4.12.1-vcpkg47fbeb19d3f575a867884a1a99d1ff016ca73d24685f298681b41ae4f3c1eac6
- 4.12.1-vcpkga5fe11c5ba035758d64c6d4934ee6fc5ebb5046e859887c06b1d7abfd5fef16c
- 4.12.1-vcpkg6c1d92a98331fa1f26855819b6855e589151ebb917c972a4ebf337dbbe11ca67
- 4.12.1-vcpkg26b7081532ee0e0782b2c3fa0f00af06da0a6b2dc4027089559899e6693a57ba
- 4.12.1-vcpkgd49fcb95c4db5fd8102d26e7dc7b09bf8653d3eeaf1a60ffb2be952f6036e72a
- 4.12.1-vcpkg3772ed91228718952e782146611dcfa0f4534699263dcfc37654d2dbe882b9d5
- 4.12.1-vcpkgf879f69aae473ac574c2afda9c45cf2e0bfaee215b7ba75db37039b37315727b
- 4.12.1-vcpkg2ef0dbe3b494143ceac77f2a008164c1d447ba8eb96cfbb0475e3ca663e9bfe8
- 4.12.1-vcpkgf25e0129ecf026c71540f32ab5c388eb6db2fe57ac2191df1575b604ca9ecbf7