Download

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.

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.

• LMNtal compiler written in Java [download from github]

• 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.

• UNYO-UNYO, an LMNtal graph visualizer. [download]