z3_arm64-osx-rel 4.12.1-vcpkgc3bc79552e55669c539ca36051b88387c25dcb97e1fa8568f3a4c9ecc5302b3e
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-osx-rel --version 4.12.1-vcpkgc3bc79552e55669c539ca36051b88387c25dcb97e1fa8568f3a4c9ecc5302b3e
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research
Version: 4.12.1 Triplet: arm64-osx-rel CXX Compiler id: Clang CXX Compiler version: 16.0.1 Triplet/Compiler hash: c16f90b20a6819c537af8fa951e1b511562f9bd4785574308844620ee3822620-051c97f1ce9b9f86c31040449939af5a846a6d6276c9c8317f3f4693c2cdb228-4e844cd998be9790b83b1d77146bac5108b79a11 Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config
Details
- z3_arm64-osx-rel
-
lifting-bits
- over 1 year ago
Assets
- package.nupkg
Download activity
- Total downloads 6
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
View all- 4.12.1-vcpkge74196128464cfa831e5ad5545359ca52f6a02109ee8086f61897756a12c6436
- 4.12.1-vcpkg40e7a8de45694fab38d97a468e15b0adbc893d68f80aff7e90b2852011089770
- 4.12.1-vcpkg868c5349dd419d207b88f3a9ecab3a24e214d283ed3c1e922b3f80899ac5755e
- 4.12.1-vcpkg271d7c3ce72e17553c63cd5959d281f3401885c8d5a3b83470916708bba0ef3c
- 4.12.1-vcpkg23d9c96cfcb683df901c5539bcc6174c8877444c70a9dfd8b839e838a9921c0e
- 4.12.1-vcpkg629098439e88fe7613aec74a1348cf46a21903b8eda8a0dd70c2fd885a097856
- 4.12.1-vcpkg600779da4041b71f0b7c32842ba150ef77a68573a3b8cd2d825f9386dc3175dc
- 4.12.1-vcpkga247f19933956fa56715ce2e4c0153c0f2c00f80cfb214f8477a34585d356183
- 4.12.1-vcpkg17d8a7f094da9adf81adca3e16a53ed194d3ee900685e33570991ab67f6be818
- 4.12.1-vcpkg6f0d95ffb7d459f46783fb23e9e4ce25ff2638a9eaf9ec481197d184b67023e7