Backup of Download(No. 11) - LMNtal PukiWiki

[ Front page | List of pages | Search | Recent changes | Backup | Help ]

Downloading LMNtal IDE

&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);

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 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 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 for more information and to download the latest version of the SLIM system.

Downloading UNYO-UNYO

UNYO-UNYO is an LMNtal Visualizer.
Click here to download the latest version of UNYO-UNYO.