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