From 9c3ee00f44e59464d33e4bab395ce090f7b33c1c Mon Sep 17 00:00:00 2001
From: Ico Doornekamp <github@zevv.nl>
Date: Fri, 8 Feb 2019 21:52:18 +0100
Subject: [PATCH] Added package z3 (#1006)

---
 packages.json | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/packages.json b/packages.json
index 9f8bb8c..3f42c4a 100644
--- a/packages.json
+++ b/packages.json
@@ -12653,5 +12653,22 @@
     "description": "A compact dictionary implementation",
     "license": "MIT",
     "web": "https://github.com/LemonBoy/compactdict"
+  },
+  {
+    "name": "z3",
+    "url": "https://github.com/zevv/nimz3",
+    "method": "git",
+    "tags": [
+      "Z3",
+      "sat",
+      "smt",
+      "theorem",
+      "prover",
+      "solver",
+      "optimization"
+    ],
+    "description": "Nim Z3 theorem prover bindings",
+    "license": "MIT",
+    "web": "https://github.com/zevv/nimz3"
   }
 ]