vcpkg/ports/z3/vcpkg.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{
  "name": "z3",
  "version": "4.15.4",
  "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
    }
  ]
}