Skip to content

z3_x64-windows-static-md-rel 4.8.10-e2eef32bf575357c7446cd3cba81632ab4452c32

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-windows-static-md-rel --version 4.8.10-e2eef32bf575357c7446cd3cba81632ab4452c32

About this version

NOT FOR DIRECT USE. Automatically generated cache package.

Z3 is a theorem prover from Microsoft Research.

Version: 4.8.10 Triplet: x64-windows-static-md-rel CXX Compiler id: MSVC CXX Compiler version: 19.28.29335.0 Triplet/Compiler hash: c4fb45991a78f9ea1b9f8248318a31953867b734-a1c0eabb0c5177b6a8fb97a58ae398880c47b352-674cc9191bda876ee7d19ae851648ca0819aa44f Features: core Dependencies:

Details

Assets

  • package.nupkg

Download activity

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

Recent versions

View all