From 5a8279089b4ac151e88aa359bfff433375354a81 Mon Sep 17 00:00:00 2001 From: jah12014 Date: Tue, 17 Oct 2017 19:36:54 -0400 Subject: [PATCH] Changing Readme --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 67ce224f..53648c05 100644 --- a/README.md +++ b/README.md @@ -1 +1,3 @@ -# symbolic-automata-research +# symbolic automata + +This repo contains various files related to my work on symbolic automata.