Downloading LaViT: LMNtal Visual Tools

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

We suggest that an LMNtal user download LaViT (formerly called LMNtalEditor?), an integrated development environment (IDE) for LMNtal. LaViT comes with the whole family of LMNtal subsystems (compiler, runtime, model checker, and visualizer) and is the simplest choice.

Downloading the 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

Downloading SLIM

Downloading UNYO-UNYO

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