Skip to content
z3_x64-osx-rel / 4.8.13-vcpkgf8d1af02caf34669f7ff3b3a888fac61269cbee5c90350656dc8d6b6927cda4d

z3_x64-osx-rel 4.8.13-vcpkgf8d1af02caf34669f7ff3b3a888fac61269cbee5c90350656dc8d6b6927cda4d

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

About this version

NOT FOR DIRECT USE. Automatically generated cache package.

Z3 is a theorem prover from Microsoft Research.

Version: 4.8.13 Triplet: x64-osx-rel CXX Compiler id: AppleClang CXX Compiler version: 13.0.0.13000029 Triplet/Compiler hash: cf130a0ddd055c0139af112e0ed4966a796a144b58b4a247b2fd7a4a00eb06cd-d577d02c3d1128236b1160974d8f5593d83eac2ba7d39b254a2841f4f4659f2f-36249368ea6964331cc9dc45dd57d5da700d15cd Features: core Dependencies:

Details

Assets

  • package.nupkg

Download activity

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

Recent versions

View all