z3_x64-linux-rel 4.8.11-vcpkg8c5869b057ad5e25046c1b25ac6ea93f288f7287
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-linux-rel --version 4.8.11-vcpkg8c5869b057ad5e25046c1b25ac6ea93f288f7287
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.11 Triplet: x64-linux-rel CXX Compiler id: Clang CXX Compiler version: 10.0.0 Triplet/Compiler hash: 225984cd3efeee4b6d12bfe12e3bdfeeb22090a8-497032558309d954763445f6b33535bb41c0820b-a77bcc2e14231075b45db1dc627189aec9871591 Features: core Dependencies:
Details
- z3_x64-linux-rel
-
lifting-bits
- about 4 years ago
Assets
- package.nupkg
Download activity
- Total downloads 96
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
View all- 4.12.1-vcpkg521504b63c362373e98791940a0c814e5e36faa863490d0fd1a2b31d84b5fefa
- 4.12.1-vcpkg3034bef09b2ee1bd75666a2cd6e0a1c807fdff1f1466de8cbc4caa443d137653
- 4.12.1-vcpkg3c829fd62ae849b035367eb93e266f0ac1a83cdd4a2a93aa026b877f7b6700f8
- 4.12.1-vcpkg10c7af16640698f194618c6b560b530d8f7304ada2618c4c5b315bbd05f57946
- 4.12.1-vcpkgcf6a919f059f3827df342f9d310ea081d0955c6d82abcaa54144e6acfeec4d79
- 4.12.1-vcpkg1f24135b4227ec4359fec90ca7b0f70a952f0765b0f023a152e165d936327b36
- 4.12.1-vcpkg28c21143b8c372dd0d1177accb63bff005628f7640aace6edfd8cf350b3c455f
- 4.12.1-vcpkg4a8155fdffc3e62072653a7bcc3b8c6ebcb24886e6b3cb584df255f564dc8cb9
- 4.12.1-vcpkg549af5e8a0a13322a35418f6775e85276ef07517c50c02092d5b80608d39af42
- 4.12.1-vcpkg301412aea6d4f6945c3f45da7e0dc6424c728774d234be9c9536ee1aa6ac7200