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


Attach file: fileLMNtalEditor1_3_1.zip 223 download [Information] fileLMNtalEditor0_9_1.zip 34 download [Information] fileLMNtalEditor1_0_0.zip 53 download [Information] fileLMNtalEditor1_0_2.zip 58 download [Information] filesource.zip 54 download [Information] fileWindowsVista_slim.zip 44 download [Information] fileLMNtalEditor0_9_7.zip 76 download [Information] fileLMNtalEditor1_1_2.zip 176 download [Information] fileLMNtalEditor1_3_0.zip 142 download [Information]

Reload   New Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup   Help   RSS of recent changes
Last-modified: 2017-03-02 (Thu) 03:32:49 (266d)