From 0a37b73be9468594e82ed24d6691eb5756ed1665 Mon Sep 17 00:00:00 2001
From: Jonathan A Homburg <jonathan.homburg@uconn.edu>
Date: Tue, 17 Oct 2017 19:23:08 -0400
Subject: [PATCH] Initial commit

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

diff --git a/README.md b/README.md
new file mode 100644
index 00000000..67ce224f
--- /dev/null
+++ b/README.md
@@ -0,0 +1 @@
+# symbolic-automata-research