lmntal-slim
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.
Details for lmntal-slim
Package name
- lmntal-slim
License
- unset
Last updated
- 17 October 2019 - latest/stable
- 18 October 2021 - latest/edge
Report a Snap Store violation
Report lmntal-slim for a Snap Store violation
Snap Store Violation Report submitted successfully
Thank you for your report. Information you provided will help us investigate further.
Error submitting report
There was an error while sending your report. Please try again later.
Share this snap
Generate an embeddable card to be shared on external websites.
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.
| Revision | Channel | Version | Build | Commit | Download SBOM |
|---|
The build and commit information is derived from build infrastructure records.
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.
