1 files changed, 18 insertions, 0 deletions
diff --git a/vcpkg/ports/z3/vcpkg.json b/vcpkg/ports/z3/vcpkg.json
new file mode 100644
index 0000000..5b4247b
--- /dev/null
+++ b/vcpkg/ports/z3/vcpkg.json
@@ -0,0 +1,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
+    }
+  ]
+}