A universal state space visualizer.
WIP
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.
This software is released under the MIT License, see LICENSE.