z3_x64-osx-rel 4.8.11-vcpkge132c026dd9bb85fe39075060d2e9c60baa9ecf3
Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-osx-rel --version 4.8.11-vcpkge132c026dd9bb85fe39075060d2e9c60baa9ecf3
About this version
NOT FOR DIRECT USE. Automatically generated cache package.
Z3 is a theorem prover from Microsoft Research.
Version: 4.8.11 Triplet: x64-osx-rel CXX Compiler id: AppleClang CXX Compiler version: 12.0.0.12000032 Triplet/Compiler hash: 5ace938e0c3f374955c08d72c3a83630eec937b6-94be8c046f9e0595c199a36690d288f70945643b-e189ed6203a70f0b5c0bda99725cce063c1e8003 Features: core Dependencies:
Details
- z3_x64-osx-rel
-
lifting-bits
- about 4 years ago
Assets
- package.nupkg
Download activity
- Total downloads 78
- 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