// [[LMNtal]]

// #counter

*System Requirements
*Downloading LaViT:  LMNtal Visual Tools (recommended) [#ke9e7abc]

The LMNtal system runs on virtually any platform
(including Windows, Cygwin, and UNIX/Linux) running the
Java Development Kit (JDK) or the Java Runtime Environment (JRE),
version 1.5 or higher.
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.

To use ''lmnc'' and ''lmnr'' commands (see [[How to Use]] page) or the foreign-language interface, or to create libraries, JDK is required to compile Java programs you provide or generated by
the LMNtal compiler.  Otherwise, JRE should be fine.

*Downloading LMNtal

Click [[''here'':http://www.ueda.info.waseda.ac.jp/lmntal/lmntal-20080828.zip]]
to download the latest version (1.00.20080828) of the LMNtal system.

- The version 0.7 (and up)
supports compilation into Java.
- The version 0.8 (and up) supports
nondeterministic execution mode that explores all reduction paths.
//Click [['''''HERE'''''>http://www.ueda.info.waseda.ac.jp/lmntal/lavit///index.php?Download]] to download the latest version of the LaViT system.

In case you
encounter a problem, [[here:http://www.ueda.info.waseda.ac.jp/lmntal/lmntal-20061218.zip]] is a stable old version (0.86.20061218).
*Downloading the LMNtal Family [#ie8f3d9a]

The old, interpreter version coming as a single .jar file
is still available from the [[Download Interpreter]] page.
If you wish to use different versions of the LMNtal compiler and runtime,
please download one or more of the following.

Downloading SLIM
-SLIM is a lightweight LMNtal runtime written in C.
-Click [[''here'':http://code.google.com/p/slim-runtime]]
for more information and 
to download the latest version of the SLIM system.
//- 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]]

Downloading LMNtal Editor
-LMNtal Editor is an integrated development environment (IDE) for LMNtal.
-Click [[''here''>LMNtalEditor]] to download the latest version of the LMNtalEdior system.
//- 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.

Downloading UNYO-UNYO
-UNYO-UNYO is the LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.
- UNYO-UNYO, an LMNtal graph visualizer. [[''[download]''>UNYO-UNYO]]


Create a new folder/directory (referred to as $LMNTAL_HOME in
this online manual) and expand the downloaded .zip file there.
That's all!

'''Note''':  The $LMNTAL_HOME folder should '''not''' be created under
"Documents and Settings", "My Documents", or any other folder
whose name contains white spaces.

Three subdirectories, ''bin'', ''lib'', and ''sample'' will be created:
-The ''bin'' subdirectory contains the system (.jar file) and several
shellscripts for Windows NT/2000/XP, Cygwin and UNIX/Linux.
-The ''lib'' subdirectory contains the library API (source and class files).
-The ''sample'' subdirectory contains program examples.

Please note that the API and examples are constantly growing.

Now proceed to the [[How to Use]] page and enjoy.

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