From cc3b2bf6f0fac15faf83a3d2f724f2ddac615ac1 Mon Sep 17 00:00:00 2001
From: Double_oxygeN <mail@double-oxygen.net>
Date: Sun, 26 Jan 2020 00:34:45 +0900
Subject: [PATCH] Added package z3nim (#1342)

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

diff --git a/packages.json b/packages.json
index 3521beb..5c7f1ec 100644
--- a/packages.json
+++ b/packages.json
@@ -16319,5 +16319,19 @@
     "description": "ADB protocol implementation in Nim",
     "license": "MIT",
     "web": "https://github.com/Yardanico/nim-adb"
+  },
+  {
+    "name": "z3nim",
+    "url": "https://github.com/Double-oxygeN/z3nim",
+    "method": "git",
+    "tags": [
+      "z3",
+      "smt",
+      "wrapper",
+      "library"
+    ],
+    "description": "Z3 binding for Nim",
+    "license": "MIT",
+    "web": "https://github.com/Double-oxygeN/z3nim"
   }
 ]