From e0d20ee60b909d2556a6d4645acd413a06133b18 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Sun, 26 May 2019 15:06:42 +0200
Subject: [PATCH] Initial commit

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..1a54015
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# smt-solving
+
+Collections of smt problems
\ No newline at end of file