QRWells/graphew

Graphew

A universal state space visualizer.

Usage

SPIN

WIP

slim

Run with parameters --nd, -t, --dump-lavit, --hide-ruleset

slim --nd -t --dump-lavit --hide-ruleset <LMNtal source file> > <output file>

and open the output file with Graphew.

License

This software is released under the MIT License, see LICENSE.