Install latest/stable of lmntal-slim
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Install using the command line
sudo snap install lmntal-slimDon't have snapd? Get set up for snaps.
SLIM is the de-facto standard runtime of a hierarchical graph rewriting language, LMNtal, and also has powerful features of model checkers.
Generate an embeddable card to be shared on external websites.
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
