// [[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. >>&ref(editor1.png,40%,around); //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 runtime, please download one or more of the following. //- LMNtal Java, an LMNtal compiler and a runtime written in Java.[[''[download]''>LMNtalJava]] - LMNtal compiler written in Java [[''[download from github]''>https://github.com/lmntal/lmntal-compiler]] //- SLIM, a lightweight LMNtal runtime [[''[download]'':http://code.google.com/p/slim-runtime]] - SLIM, a lightweight LMNtal runtime at [[''[download from github]''>https://github.com/lmntal/slim]] --An LMNtal runtime written in C, which features nondeterministic search, model checking, and hypergraphs. When given an LMNtal source file, SLIM internally calls an LMNtal compiler to generate intermediate code. - UNYO-UNYO, an LMNtal graph visualizer. [[''[download]''>UNYO-UNYO]]