z3_x64-osx-rel
/
4.12.1-vcpkgb572e48266fd9fbc097b4cc2f3325681b6b62b315bde15c286e335e566735472
z3_x64-osx-rel 4.12.1-vcpkgb572e48266fd9fbc097b4cc2f3325681b6b62b315bde15c286e335e566735472
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-osx-rel --version 4.12.1-vcpkgb572e48266fd9fbc097b4cc2f3325681b6b62b315bde15c286e335e566735472
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
Details
- z3_x64-osx-rel
-
lifting-bits
- 7 months ago
Assets
- package.nupkg
Download activity
- Total downloads 9
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
View all- 4.12.1-vcpkgb572e48266fd9fbc097b4cc2f3325681b6b62b315bde15c286e335e566735472
- 4.12.1-vcpkgeaa520c53fee027823243b4ca82958d90f1b587e838055be5667a36f3995a7b6
- 4.12.1-vcpkg4ace081b55de392592195f5f74672ef92c81126da95f0f18fda5bd35c59460b8
- 4.12.1-vcpkg51ce5b014c8fe16958378dabf2521fbd229bfe4fb488b83dd32384a4997f37c3
- 4.12.1-vcpkg5a559c35a9695630b8245920cfce162690a114d758506352b22ca175f822d6c9
- 4.12.1-vcpkgc31f27bb86c08f7dbf716025e5fb753905ada27a9808afdb721f39e8be421881
- 4.12.1-vcpkge7bc8f3f99d8652fa1715a41b242605576d73b4b5698840eb259b492bead7122
- 4.12.1-vcpkg55f7d2a5f58d637c22789d6e7aa3bb1ad918a661f71291ef6630b97811637dbc
- 4.12.1-vcpkgbdc06ada66b11bcaac9e86b2a118e59b8378ef3cdecc8e22cb4edef933035105
- 4.12.1-vcpkgc2a0589e06c955b9bc626c0e202caa44f7f1ef979de02acf7eecef54b0e9bdf9