LMNtalEditor

Download LaViT

[ Download ] Download

Start LaViT

1. Unzip the download file. (Please do not include space in your directory name.)

   ok: C:\LaViTx_y_z\
   ng: C:\Documents and Settings\LaViTx_y_z\

2. If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
3. Download ltl2ba and move ltl2ba-1.1.tar.gz to LaViTx_y_z/lmntal/.

   > mv ltl2ba-1.1.tar.gz LaViTx_y_z/lmntal/

4. Click the LaVit.jar file (or input "java -jar LaViT.jar") and follow the instructions to install SLIM.

System Requirements

• Windows
  • Java Runtime Environment(JRE), version 1.6 or higher.
  • Cygwin(gcc,bison,flex)

• Linux
  • Java Runtime Environment(JRE), version 1.6 or higher.
  • gcc,bison,flex