Downloading LaViT: LMNtal Visual Tools (recommended)
The simplest way to get started with LMNtal is to download LaViT;, an integrated development environment (IDE) for LMNtal.
LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);
Downloading the LMNtal Family
If you wish to use the LMNtal compiler and runtimes as stand-alone software,
please download one or more of the following.
Downloading LMNtal Java
- LMNtal Java is an LMNtal compiler and a runtime written in Java.
- Click here to download the latest version of the LMNtal Java system.
Downloading SLIM
- SLIM is a lightweight LMNtal runtime written in C, which features non-deterministic search and model checking. When given an LMNtal source file, SLIM internally calls LMNtal Java's compiler to generate intermediate code.
- Click here
for more information and to download the latest version of the SLIM system.
Downloading UNYO-UNYO
- UNYO-UNYO is an LMNtal Visualizer.
- Click here to download the latest version of UNYO-UNYO.