Skip to content

z3_arm64-osx-rel 4.12.1-vcpkge74196128464cfa831e5ad5545359ca52f6a02109ee8086f61897756a12c6436 Latest

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: AppleClang CXX Compiler version: 15.0.0.15000040 Triplet/Compiler hash: c16f90b20a6819c537af8fa951e1b511562f9bd4785574308844620ee3822620-a654e5c1a635cb784f3168426c422995eefe31912588726942497566a5bca495-5007129cae95179eeddd853e94329ca40cc11cbd Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_arm64-osx-rel --version 4.12.1-vcpkge74196128464cfa831e5ad5545359ca52f6a02109ee8086f61897756a12c6436

Recent Versions

View all versions

Loading

Details

Last published

7 months ago

Discussions

0

Issues

21

Total downloads

842