// [[LMNtal]] // #counter *Downloading LaViT: LMNtal Visual Tools >>&ref(editor1.png,40%,around); The simplest way to get started with LMNtal is to ''[[download &size(18){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. //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.