Skip to content

z3_x64-osx-rel 4.9.1-vcpkg9242490b4b84ec31d673adc112554f9b17ce98efd019fe5ba7dde172f2b46781

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-osx-rel --version 4.9.1-vcpkg9242490b4b84ec31d673adc112554f9b17ce98efd019fe5ba7dde172f2b46781

About this version

NOT FOR DIRECT USE. Automatically generated cache package.

Z3 is a theorem prover from Microsoft Research

Version: 4.9.1 Triplet: x64-osx-rel CXX Compiler id: AppleClang CXX Compiler version: 13.0.0.13000029 Triplet/Compiler hash: cf130a0ddd055c0139af112e0ed4966a796a144b58b4a247b2fd7a4a00eb06cd-7e291a90a76f42fcd3c4fa7b9e2aa6348aaf6815641703918ea6d2c22afce878-c1d30f72952462506466f7d6fd75f7438b8a6a10 Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config

Details

Assets

  • package.nupkg

Download activity

  • Total downloads 0
  • Last 30 days 0
  • Last week 0
  • Today 0

Recent versions

View all