z3_x64-linux-rel
/
4.12.1-vcpkg3c829fd62ae849b035367eb93e266f0ac1a83cdd4a2a93aa026b877f7b6700f8
z3_x64-linux-rel 4.12.1-vcpkg3c829fd62ae849b035367eb93e266f0ac1a83cdd4a2a93aa026b877f7b6700f8
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-linux-rel --version 4.12.1-vcpkg3c829fd62ae849b035367eb93e266f0ac1a83cdd4a2a93aa026b877f7b6700f8
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research
Version: 4.12.1 Triplet: x64-linux-rel CXX Compiler id: GNU CXX Compiler version: 11.4.0 Triplet/Compiler hash: c9d2d1848751395392d68a535b5d03c28c29a49f4109d7ccb77bdbff82007be4-2b16c94d0e736ca7e5695f4a1dd7a3a1079c2deb3da38d0976549c22b6d29761-a9cc48706cca742e5b6b955b1702a49b2a65371e Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config
Details
- z3_x64-linux-rel
-
lifting-bits
- about 1 year ago
Assets
- package.nupkg
Download activity
- Total downloads 39
- 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