Skip to content
z3_x64-osx-rel / 4.12.1-vcpkgbb4be51ddcbab90f57b31624df5fa2005dfbc75bf31c23b9d14a291141c74234

z3_x64-osx-rel 4.12.1-vcpkgbb4be51ddcbab90f57b31624df5fa2005dfbc75bf31c23b9d14a291141c74234

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

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-osx-rel CXX Compiler id: AppleClang CXX Compiler version: 14.0.3.14030022 Triplet/Compiler hash: cf130a0ddd055c0139af112e0ed4966a796a144b58b4a247b2fd7a4a00eb06cd-051c97f1ce9b9f86c31040449939af5a846a6d6276c9c8317f3f4693c2cdb228-57249f9742cc0d8c3f3670c4885e005a48b3d15e 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