Download LaViT
[ Download ] Download
Start LaViT
- 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\
- If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
- Download ltl2ba and move ltl2ba-1.1.tar.gz to LaViTx_y_z/lmntal/.
> mv ltl2ba-1.1.tar.gz LaViTx_y_z/lmntal/
- 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
|