1 files changed, 144 insertions, 0 deletions
diff --git a/vcpkg/versions/z-/z3.json b/vcpkg/versions/z-/z3.json
new file mode 100644
index 0000000..295ffeb
--- /dev/null
+++ b/vcpkg/versions/z-/z3.json
@@ -0,0 +1,144 @@
+{
+  "versions": [
+    {
+      "git-tree": "cf18145f0e338a413018dfaa01056c18bcc5b683",
+      "version": "4.15.4",
+      "port-version": 0
+    },
+    {
+      "git-tree": "a399cc35ca3bb0d21c061511fb1b28421193f036",
+      "version": "4.15.3",
+      "port-version": 0
+    },
+    {
+      "git-tree": "470b1e311123d20e5c59863cd0d467ba04a8e145",
+      "version": "4.15.2",
+      "port-version": 0
+    },
+    {
+      "git-tree": "7ba92d7e7a91c5d3b171a83bdf97658a33bcd314",
+      "version": "4.14.0",
+      "port-version": 0
+    },
+    {
+      "git-tree": "fa6e8dad748704ecd2b0f6f6a914a6d7530f91fb",
+      "version": "4.13.3",
+      "port-version": 0
+    },
+    {
+      "git-tree": "c5af85394b7d0da874517680ec668ca482f089d5",
+      "version": "4.13.2",
+      "port-version": 0
+    },
+    {
+      "git-tree": "6fa6c9e93ad1fe6f090260acfa7d42369d83ee0a",
+      "version": "4.13.0",
+      "port-version": 0
+    },
+    {
+      "git-tree": "03f1783abbbb6d024a084bfd6f448ec5b02c06b6",
+      "version": "4.12.6",
+      "port-version": 0
+    },
+    {
+      "git-tree": "294ec73e2b15fd55e0ac922bcaffad517366dbba",
+      "version": "4.12.5",
+      "port-version": 0
+    },
+    {
+      "git-tree": "98aa7c18e339247b197bab014d1a52310ba39a7a",
+      "version": "4.12.4",
+      "port-version": 0
+    },
+    {
+      "git-tree": "dcef04d626f19434eaf9d2a3afb43d927bbd372e",
+      "version": "4.12.2",
+      "port-version": 0
+    },
+    {
+      "git-tree": "4c57981e593026824fe9bedff234a82c13765e29",
+      "version": "4.11.0",
+      "port-version": 0
+    },
+    {
+      "git-tree": "aa0794e55ef223e835ae4dd228e3986d83be4843",
+      "version": "4.10.2",
+      "port-version": 0
+    },
+    {
+      "git-tree": "c934af0db69ef3b1bacc4bf5a72b5d901aaf1136",
+      "version": "4.9.1",
+      "port-version": 0
+    },
+    {
+      "git-tree": "a1217f07ef4a8f918f5b61a01057a4ee70f92422",
+      "version": "4.8.16",
+      "port-version": 0
+    },
+    {
+      "git-tree": "ca14e43533889ce4abf89af387b73d015e133c4a",
+      "version": "4.8.15",
+      "port-version": 0
+    },
+    {
+      "git-tree": "78366a5b407998768b97ddee528306cf9cbe9847",
+      "version": "4.8.14",
+      "port-version": 0
+    },
+    {
+      "git-tree": "eb7c4238f0496b64a6527fd4b07dd753f31a1975",
+      "version": "4.8.12",
+      "port-version": 2
+    },
+    {
+      "git-tree": "679ab881c1277be69ffc601a568e3b47d4d55432",
+      "version": "4.8.12",
+      "port-version": 1
+    },
+    {
+      "git-tree": "898df3d611ad4a833593adbfd7f2a3b0e686fc2b",
+      "version": "4.8.12",
+      "port-version": 0
+    },
+    {
+      "git-tree": "9c0fdcbcb443a4d0e2b58a1b3b56424e8c2d384c",
+      "version-semver": "4.8.10",
+      "port-version": 0
+    },
+    {
+      "git-tree": "7081291c8d70cea0a783c78fa8f27219cad7b77c",
+      "version-string": "4.8.9",
+      "port-version": 0
+    },
+    {
+      "git-tree": "6555488e80a528c2470ceaf03c4c89c7afe02e2e",
+      "version-string": "4.8.8",
+      "port-version": 0
+    },
+    {
+      "git-tree": "400c779fbbcb32b7a2438b0bf59edfebc21a10bb",
+      "version-string": "4.8.6",
+      "port-version": 0
+    },
+    {
+      "git-tree": "f9c69bb54bb81b18f317dd2967b52634a7944a04",
+      "version-string": "4.8.5-1",
+      "port-version": 0
+    },
+    {
+      "git-tree": "5ed567eda111af09f639a9a81f5577c4739a2010",
+      "version-string": "4.8.5",
+      "port-version": 0
+    },
+    {
+      "git-tree": "9151b0fe33bb47860dff2049e0e86233cee2e57a",
+      "version-string": "4.8.4-1",
+      "port-version": 0
+    },
+    {
+      "git-tree": "fe89bbe59ac13cb35531d231cacb629f5d140241",
+      "version-string": "4.8.4",
+      "port-version": 0
+    }
+  ]
+}