Downloading LaViT: LMNtal Visual Tools (recommended)

The simplest way to get started with LMNtal is to download LaViT (click here), an integrated development environment (IDE) for LMNtal. LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.

around

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.

  • SLIM, a lightweight LMNtal runtime at [download from github]
    • 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.

Attach file: fileio.lmn 587 download [Information] fileappend.lmn 727 download [Information] fileeditor1.png 1147 download [Information] filelmntal-20060105.tgz 149 download [Information] filelmntal-beta.tgz 30 download [Information]

Reload   New Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup   Help   RSS of recent changes
Last-modified: 2017-03-02 (Thu) 05:03:08 (115d)