z3_arm64-linux-rel 4.8.15-vcpkg76b2b66ca1d545fd369358ca77eeb7467f2433601d5d1ccfcfbfb511eb4cea1d
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-linux-rel --version 4.8.15-vcpkg76b2b66ca1d545fd369358ca77eeb7467f2433601d5d1ccfcfbfb511eb4cea1d
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research
Version: 4.8.15 Triplet: arm64-linux-rel CXX Compiler id: Clang CXX Compiler version: 10.0.0 Triplet/Compiler hash: a7e9088d1c0166ab51e07ea0304cd6f2a6683e422dd1f1313e3d103d4ff280ed-dbf0dd3cf61bd48347b4c28cd439488aeb7a6f756ba96cca5889a45c1972b236-ff2158ba9caaaf1b46d93fa79dad0fb551c385ba Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config
Details
- z3_arm64-linux-rel
-
lifting-bits
- over 3 years ago
Assets
- package.nupkg
Download activity
- Total downloads 9
- 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