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: 310 download [Information] 109 download [Information] 133 download [Information] 140 download [Information] 133 download [Information] 121 download [Information] 155 download [Information] 256 download [Information] 218 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 (1700d)