pineapple-src/externals/vcpkg/ports/z3/vcpkg.json

{
  "name": "z3",
  "version": "4.8.16",
  "description": "Z3 is a theorem prover from Microsoft Research",
  "homepage": "https://github.com/Z3Prover/z3",
  "license": "MIT",
  "supports": "!uwp",
  "dependencies": [
    {
      "name": "vcpkg-cmake",
      "host": true
    },
    {
      "name": "vcpkg-cmake-config",
      "host": true
    }
  ]
}