Downloading LaViT: LMNtal Visual Tools
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);
We suggest that an LMNtal user download LaViT (formerly called LMNtalEditor), an integrated development environment (IDE) for LMNtal.
LaViT comes with the whole family of LMNtal subsystems (compiler, runtime, model checker, and visualizer) and is the simplest choice.
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.