README

   1 This is a new repository for the SmartThings execution infrastructure for Groovy.
   2 This project attempts to model-check SmartThings Groovy smart apps.
   3 -------------------------------------------------------------------------------------------
   4 1. Put your groovy program in Extractor directory with the name App.groovy.
   5 2. Run the make command in smartthings-infrastructure directory.
   6 3. All the classes are created in the bin folder.
   7 -------------------------------------------------------------------------------------------