// [[LMNtal]] // #counter *Downloading LMNtal IDE >>&ref(editor1.png,40%,around); -LMNtal Editor is an integrated development environment (IDE) for LMNtal. -LMNtal Editor contains all the LMNtal Family (compiler, runtime, model checker, and visualizer), so '''''this is the right choice for most LMNtal users.''''' -Click [[''here''>LMNtalEditor]] to download the latest version of the LMNtalEdior system. *Downloading 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. -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.