commit e0d20ee60b909d2556a6d4645acd413a06133b18
Author: Joshua Moerman <lakseru@gmail.com>
Date:   Sun May 26 15:06:42 2019 +0200

    Initial commit

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