z3_arm64-osx-rel 4.9.1-vcpkg9c6a281c97cfac9036966cbd16d05c055025eb4af788b7334bd73b5d384b7d96
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-osx-rel --version 4.9.1-vcpkg9c6a281c97cfac9036966cbd16d05c055025eb4af788b7334bd73b5d384b7d96
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research
Version: 4.9.1 Triplet: arm64-osx-rel CXX Compiler id: AppleClang CXX Compiler version: 13.0.0.13000029 Triplet/Compiler hash: c16f90b20a6819c537af8fa951e1b511562f9bd4785574308844620ee3822620-7e291a90a76f42fcd3c4fa7b9e2aa6348aaf6815641703918ea6d2c22afce878-36249368ea6964331cc9dc45dd57d5da700d15cd Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config
Details
- z3_arm64-osx-rel
-
lifting-bits
- over 2 years ago
Assets
- package.nupkg
Download activity
- Total downloads 4
- 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