---
title: Install lmntal-slim on Linux | Snap Store
description: Get the latest version of lmntal-slim for Linux - SLIM - Slim LMNtal
  Imprementation
url: https://snapcraft.io/lmntal-slim
---

# lmntal-slim

[Naoki Yamamoto (nyamamoto)](https://snapcraft.io/publisher/nyamamoto "View all snaps from Naoki Yamamoto (nyamamoto)")

* [Naoki Yamamoto (nyamamoto)](https://snapcraft.io/publisher/nyamamoto "View all snaps from Naoki Yamamoto (nyamamoto)")

latest/stable v2.3.2+git325.999fef93

Install latest/stable of lmntal-slim

This channel hasn't been updated in a while. It might be unmaintained and have stability or security issues.

---

**Install using the command line**

```
sudo snap install lmntal-slim
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* lmntal-slim

---

### License

* unset

---

### Last updated

* 17 October 2019 - latest/stable
* 18 October 2021 - latest/edge

This snap hasn't been updated in a while. It might be unmaintained and have stability or security issues.

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/lmntal-slim#report-snap-modal)

---

* [Description](https://snapcraft.io/lmntal-slim#tab-description)
* [Security](https://snapcraft.io/lmntal-slim#tab-security)

#### SLIM - Slim LMNtal Imprementation

SLIM is the de-facto standard runtime of
a hierarchical graph rewriting language, LMNtal,
and also has powerful features of model checkers.

---

## Install lmntal-slim on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the [installing snapd documentation](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/lmntal-slim/arch)

[### CentOS](https://snapcraft.io/install/lmntal-slim/centos)

[### Debian](https://snapcraft.io/install/lmntal-slim/debian)

[### elementary OS](https://snapcraft.io/install/lmntal-slim/elementary)

[### Fedora](https://snapcraft.io/install/lmntal-slim/fedora)

[### KDE Neon](https://snapcraft.io/install/lmntal-slim/kde-neon)

[### Kubuntu](https://snapcraft.io/install/lmntal-slim/kubuntu)

[### Manjaro](https://snapcraft.io/install/lmntal-slim/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/lmntal-slim/pop)

[### openSUSE](https://snapcraft.io/install/lmntal-slim/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/lmntal-slim/rhel)

[### Ubuntu](https://snapcraft.io/install/lmntal-slim/ubuntu)