Adding z3 submodule

bannsec · Nov 26, 2017 · c2b7c99 · c2b7c99
1 parent 3f55a16
commit c2b7c99
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lib/z3"]
+	path = lib/z3
+	url = https://github.com/Z3Prover/z3.git
diff --git a/lib/z3 b/lib/z3