{
  "name": "z3",
  "href": "https://vcpkg.link/ports/z3",
  "supports": "!uwp",
  "published_at": "2026-02-19T21:11:05.000Z",
  "is_deprecated": false,
  "is_featured": false,
  "documentation_href": null,
  "homepage_href": "https://github.com/Z3Prover/z3",
  "description": [
    "Z3 is a theorem prover from Microsoft Research"
  ],
  "license": "MIT",
  "version": {
    "type": "semver",
    "value": "4.16.0",
    "port": 0
  },
  "commit": {
    "tree_href": "https://github.com/microsoft/vcpkg/tree/359aa637b2a8d2d29d9c9a2790c5e11757e154c5/ports/z3",
    "hash": "359aa637b2a8d2d29d9c9a2790c5e11757e154c5"
  },
  "repository": {
    "type": "github",
    "href": "https://github.com/Z3Prover/z3",
    "stars": 12320
  },
  "dependencies": [
    {
      "name": "vcpkg-cmake",
      "href": "https://vcpkg.link/ports/vcpkg-cmake",
      "is_host": true,
      "with_default_features": true,
      "version_constraint": null,
      "platform": "all"
    },
    {
      "name": "vcpkg-cmake-config",
      "href": "https://vcpkg.link/ports/vcpkg-cmake-config",
      "is_host": true,
      "with_default_features": true,
      "version_constraint": null,
      "platform": "all"
    }
  ],
  "dev_dependencies": [],
  "features": []
}