v2.3.2+git325.999fef9340.5 MB
unset
strict
core18
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.
a hierarchical graph rewriting language, LMNtal,
and also has powerful features of model checkers.
Update History
v2.3.2+git325.999fef93 (4)13 Dec 2025, 09:47 UTC
16 Oct 2019, 08:42 UTC
17 Oct 2019, 01:54 UTC
13 Dec 2025, 09:47 UTC