// [[LMNtal]]

// #counter

*Downloading LaViT:  LMNtal Visual Tools (recommended)

The simplest way to get started with LMNtal is to ''[[download LaViT (click here)>http://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download]]'', an integrated development environment (IDE) for LMNtal.
LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.


//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 different versions of the LMNtal compiler and runtimes,
please download one or more of the following.

- LMNtal Java, an LMNtal compiler and a runtime written in Java.

- SLIM, a lightweight LMNtal runtime [[''[download]'':http://code.google.com/p/slim-runtime]]
--SLIM is an LMNtal runtime written in C, which features nondeterministic search, model checking, and hypergraphs.  When given an LMNtal source file, SLIM internally calls LMNtal Java's compiler to generate intermediate code.

- UNYO-UNYO, an LMNtal graph visualizer. [[''[download]''>UNYO-UNYO]]

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