z3_arm64-linux-rel 4.12.1-vcpkgf25e0129ecf026c71540f32ab5c388eb6db2fe57ac2191df1575b604ca9ecbf7
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-linux-rel --version 4.12.1-vcpkgf25e0129ecf026c71540f32ab5c388eb6db2fe57ac2191df1575b604ca9ecbf7
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: Clang CXX Compiler version: 16.0.4 Triplet/Compiler hash: 04a500b8b44c9f678c6e6afbb019ce46b3e0a5062d4cc538aae5ff6c78b0eab0-f283b6d6bbebfbf4a5ce504059e8054af45a6058691727d7d1bdf288f7c6d9d2-6644b81f8aa5f1f485b0036a815f3009cc0ca533 Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config
Details
- z3_arm64-linux-rel
-
lifting-bits
- over 2 years ago
Assets
- package.nupkg
Download activity
- Total downloads 0
- 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