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

z3_x64-osx-rel 4.12.1-vcpkg4ace081b55de392592195f5f74672ef92c81126da95f0f18fda5bd35c59460b8

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

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