// [[LMNtal]]

// #counter

*Downloading LaViT: LMNtal Visual Tools


''We suggest that an LMNtal user  [[download LaViT>http://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download]] (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.

//Click [['''''HERE'''''>http://www.ueda.info.waseda.ac.jp/lmntal/lavit///index.php?Download]] to download the latest version of the LaViT system.

*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''>LMNtalJava]] 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'':http://code.google.com/p/slim-runtime]]
for more information and to download the latest version of the SLIM system.

Downloading UNYO-UNYO
-UNYO-UNYO is an LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.

Front page List of pages Search Recent changes Backup   Help   RSS of recent changes