
  Copyright (c) 2011, Vanderbilt University.
  Developed with the sponsorship of the Defense Advanced Research Projects Agency (DARPA). Permission is hereby granted, free of charge, 
  to any person obtaining a copy of this data, including any software or models in source or binary form, as well as any drawings, 
  specifications, and documentation (collectively "the Data"), to deal in the Data without restriction, including without limitation 
  the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Data, and to permit persons 
  to whom the Data is furnished to do so, subject to the following conditions:

  The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Data.

  THE DATA IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS, SPONSORS, DEVELOPERS, CONTRIBUTORS, OR COPYRIGHT HOLDERS 
  BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 
  WITH THE DATA OR THE USE OR OTHER DEALINGS IN THE DATA.



Using CyPhy2HybridSAL
---------------------

1. Prerequisites
- Latest version of the Generic Modeling Environment (can be obtained from http://repo.isis.vanderbilt.edu/)
- Microsoft Windows XP SP3, 7 or later
- Microsoft .NET Framework 4.0 (available as an optional Windows Update or the installer deploys it automatically)
- A HybridSAL and SAL installation on a Linux/Unix machine with a directory shared with the Windows machine running GME


2. Installation
- Run CyPhy2HybridSALSetup.msi
- Install HyperSAL in the shared directory and place the files from the Application Folder\Linux to the shared directory

3. Setting up the system
- Start start.sh on the Linux machine
- Open CyPhyML.xme from the CyPhy directory
- Interpret it with the GME MetaInterpreter
- Load CAC_Sample.xme with GME
- Open Tools/Register Components in GME, and register the DLL Bin/CyPhy2HybridSAL.DLL
- Open the sample model, select the element CAC_Components\CAC_Component\FormalRequirement in the tree browser, double click on it
- Run the interpreter
- Fill it with your theorem and click Run...
