Creating a new repository for SmartThings Groovy infrastructure for model-checking.

diff --git a/README b/README
new file mode 100644 (file)
index 0000000..d0c01ac
--- /dev/null
+++ b/README
@@ -0,0 +1,2 @@
+This is a new repository for the SmartThings execution infrastructure for Groovy.
+This project attempts to model-check SmartThings Groovy smart apps.