z3_x64-linux-rel 4.8.12-vcpkgd0eefbc511ab268f82cd01ef11c9b3fc4ad2f87a0fa85c1d38a4b23e1ade7610
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-linux-rel --version 4.8.12-vcpkgd0eefbc511ab268f82cd01ef11c9b3fc4ad2f87a0fa85c1d38a4b23e1ade7610
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.12 Triplet: x64-linux-rel CXX Compiler id: Clang CXX Compiler version: 10.0.0 Triplet/Compiler hash: c9d2d1848751395392d68a535b5d03c28c29a49f4109d7ccb77bdbff82007be4-dbf0dd3cf61bd48347b4c28cd439488aeb7a6f756ba96cca5889a45c1972b236-a77bcc2e14231075b45db1dc627189aec9871591 Features: core Dependencies:
Details
- z3_x64-linux-rel
-
lifting-bits
- about 3 years ago
Assets
- package.nupkg
Download activity
- Total downloads 93
- 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