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: 289 download [Information] 95 download [Information] 116 download [Information] 122 download [Information] 118 download [Information] 107 download [Information] 140 download [Information] 236 download [Information] 202 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 (1336d)