z3_arm64-linux-rel 4.8.11-vcpkg5ff26b1eb7e9888adeb02f7c3a45250d18678230
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-linux-rel --version 4.8.11-vcpkg5ff26b1eb7e9888adeb02f7c3a45250d18678230
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.11 Triplet: arm64-linux-rel CXX Compiler id: Clang CXX Compiler version: 10.0.0 Triplet/Compiler hash: 6a4684c3977658cd31b02bae3f0bad290b89b7c3-497032558309d954763445f6b33535bb41c0820b-78908aa8c36bdb97524e98936b1e331d46037852 Features: core Dependencies:
Details
- z3_arm64-linux-rel
-
lifting-bits
- about 4 years ago
Assets
- package.nupkg
Download activity
- Total downloads 1
- 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